From 8d942ed26c985a8b7258fdafb61fe08816e50653 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 12 Oct 2019 04:13:27 -0700
Subject: [PATCH] sudo the install

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 scripts/generate-doc.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/generate-doc.yml b/scripts/generate-doc.yml
index c4727fc14..611cd3188 100644
--- 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 ..