From 1f71aeded9ca32eda2439543def31fd6f0a8a64a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 Jan 2021 06:47:10 -0800 Subject: [PATCH] ocamldoc Signed-off-by: Nikolaj Bjorner --- scripts/generate-doc.yml | 2 +- scripts/nightly.yaml | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml index abdb7da35..611cd3188 100644 --- a/scripts/generate-doc.yml +++ b/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 .. diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml index c0d3ea8ce..ff91259d7 100644 --- a/scripts/nightly.yaml +++ b/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)/.