Generate documentation automatically

MobilityDB · Sep 21, 2023 · 088d8cd · 088d8cd
1 parent 0993849
commit 088d8cd
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 14 deletions.
diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
@@ -30,9 +30,10 @@ jobs:
           mkdir html
           xsltproc --stringparam html.stylesheet "docbook.css" --stringparam chunker.output.encoding "UTF-8" --xinclude -o html/index.html /usr/share/xml/docbook/stylesheet/docbook-xsl/html/chunk.xsl mobilitydb-workshop.xml
           cp -r images docbook.css html/
+          cp docbook.css html/
 
       # store the documentation files
-      - name: Upload Output Directory
+      - name: Upload output directory
         uses: actions/upload-artifact@v2
         with:
           name: doc-files
@@ -52,7 +53,7 @@ jobs:
           ref: gh-pages
 
       # download the doc files, most of which are generated above
-      - name: Download Output Directory
+      - name: Download output directory
         uses: actions/download-artifact@v2
         with:
           name: doc-files

diff --git a/docs/index.md b/docs/index.md