From c623e2db282ae0c864ea7059a4794f83ac9621cc Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 1 Feb 2021 09:14:26 -0800
Subject: [PATCH] typo

---
 scripts/nightly.yaml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/nightly.yaml b/scripts/nightly.yaml
index b1cf061be..029dbf6e7 100644
--- a/scripts/nightly.yaml
+++ b/scripts/nightly.yaml
@@ -61,7 +61,7 @@ stages:
         mkdir api/html/ml
         ocamldoc -html -d api/html/ml -sort -hide Z3 -I $( ocamlfind query zarith ) -I ../build/api/ml ../build/api/ml/z3enums.mli ../build/api/ml/z3.mli
         cd ..
-    - script: zip -r doc.zip z3doc/api
+    - script: zip -r z3doc.zip doc/api
     - script: cp z3doc.zip $(Build.ArtifactStagingDirectory)/.
     - task: PublishPipelineArtifact@0
       inputs: