ocamldoc

Signed-off-by: Nikolaj Bjorner <[email protected]>

Author: NikolajBjorner

scripts/generate-doc.yml

@@ -3,5 +3,5 @@ steps:
    cd doc
    sudo apt-get install doxygen
    sudo apt-get install graphviz
-   python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
+   python mk_api_doc.py --z3py-package-path=../build/python/z3
    cd ..

scripts/nightly.yaml

@@ -54,7 +54,8 @@ stages:
         ./ml_example
         cd ..
         cd doc
-        python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
+        python mk_api_doc.py --z3py-package-path=../build/python/z3
+        ocamldoc -html -d html/ml -sort -hide Z3 -I +z3arith -I ../src/api/ml ../src/api/ml/z3enums.mli ../src/api/ml/z3.mli
         cd ..
     - script: zip -r api.zip doc/api
     - script: cp api.zip $(Build.ArtifactStagingDirectory)/.