Archive documentation

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index a8f4e481e89cbc68bfe2f776abb4dcc26c8a9ee3..0e0cf462697ca6b77d60c7d6d91ebcdc8294e280 100644 (file)
--- a/.github/workflows/indent.yml
+++ b/.github/workflows/indent.yml
@@ -21,6 +21,14 @@ jobs:
         ./contrib/utilities/check_indentation.sh
     - name: documentation
       run: |
-        cmake -DDEAL_II_COMPONENT_DOCUMENTATION=ON -DDEAL_II_DOXYGEN_USE_MATHJAX=ON .
+        mkdir build
+        cd build
+        cmake -DDEAL_II_COMPONENT_DOCUMENTATION=ON -DDEAL_II_DOXYGEN_USE_MATHJAX=ON ..
         make -j 2 documentation
         cat doxygen.log && ! [ -s doxygen.log ]
+        tar -czf doxygen_documentation.tar.gz doc/doxygen
+    - name: archive documentation
+      uses: actions/upload-artifact@v1
+      with:
+        name: doxygen_documentation.tar.gz
+        path: build/doxygen_documentation.tar.gz