Update .local.jenkins.lin.yml

sdpython · Mar 6, 2022 · 9f5fb66 · 9f5fb66
1 parent 16a052b
commit 9f5fb66
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.local.jenkins.lin.yml b/.local.jenkins.lin.yml
@@ -26,3 +26,4 @@ after_script:
 documentation:
   - if [ ${NAME} == "UT" ] then $PYINT -u setup.py build_sphinx fi
   - if [ ${NAME} == "UT" ] then cp -R -f _doc/sphinxdoc/build/html dist/html fi
+  - if [ ${NAME} == "UT" and ${VERSION} == "3.9" ] then zip doc.zip -r dist/html fi