check in compiled documentation