build doc for meta prover