sudo the install

NikolajBjorner · NikolajBjorner · commit 8d942ed26c98 · 2019-10-12T04:13:27.000-07:00
Signed-off-by: Nikolaj Bjorner &lt;nbjorner@microsoft.com&gt;
diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml
@@ -1,7 +1,7 @@
 steps:
 - script: |
    cd doc
-   apt-get install doxygen
-   apt-get install graphviz
+   sudo apt-get install doxygen
+   sudo apt-get install graphviz
    python mk_api_doc.py --z3py-package-path=../build/python/z3
    cd ..
