have nightly generate doc

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>

azure-pipelines.yml

@@ -42,7 +42,6 @@ jobs:
     - template: scripts/test-z3.yml
     - ${{if eq(variables['runRegressions'], 'True')}}:
       - template: scripts/test-regressions.yml
-    - template: scripts/generate-doc.yml
 
 - job: "Ubuntu18Python"
   displayName: "Ubuntu 18 with ocaml"
@@ -64,6 +63,7 @@ jobs:
         cd ..
     - template: scripts/test-z3.yml
     - template: scripts/test-regressions.yml
+    - template: scripts/generate-doc.yml
 
 
 - job: "LinuxMSan"

scripts/nightly.yaml

@@ -36,6 +36,31 @@ stages:
         artifactName: 'Ubuntu'
         targetPath: $(Build.ArtifactStagingDirectory)
 
+  - job: UbuntoDoc
+    displayName: "Ubuntu Doc build"
+    pool:
+      vmImage: "ubuntu-latest"
+    steps:
+    - script: sudo apt-get install ocaml opam libgmp-dev
+    - script: opam init -y
+    - script: eval `opam config env`; opam install zarith ocamlfind -y
+    - script: python scripts/mk_make.py --ml --staticlib
+    - script: |
+        set -e
+        cd build
+        eval `opam config env` 
+        make -j3
+        make -j3 examples
+        make -j3 test-z3
+        ./ml_example
+        cd ..
+    - template: scripts/generate-doc.yml
+    - script: zip api.zip doc/api/. 
+    - script: cp api.zip $(Build.ArtifactStagingDirectory)/.
+    - task: PublishPipelineArtifact@0
+      inputs:
+        artifactName: 'UbuntuDoc'
+        targetPath: $(Build.ArtifactStagingDirectory)
 
   - job: Manylinux
     displayName: "Manylinux build"
@@ -273,6 +298,11 @@ stages:
       inputs:
         artifactName: 'Ubuntu'
         targetPath: tmp
+    - task: DownloadPipelineArtifact@2
+      displayName: "Download Doc"
+      inputs:
+        artifactName: 'UbuntuDoc'
+        targetPath: tmp
     - task: DownloadPipelineArtifact@2
       displayName: "Download Python"
       inputs: