diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml
index 611cd3188..abdb7da35 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 --z3py-package-path=../build/python/z3
+   python mk_api_doc.py --ml --z3py-package-path=../build/python/z3
    cd ..