From: Daniel Arndt <arndtd@ornl.gov>
Date: Fri, 26 Jun 2020 16:57:41 +0000 (-0400)
Subject: Archive documentation
X-Git-Tag: v9.3.0-rc1~1344^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F10611%2Fhead;p=dealii.git

Archive documentation
---

diff --git a/.github/workflows/indent.yml b/.github/workflows/indent.yml
index a8f4e481e8..0e0cf46269 100644
--- 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