tools/github actions: use makefile/sphinx instead of mkdocs to build …

…HTML documentation
shaarli · Oct 5, 2023 · 4e653e1 · 4e653e1
1 parent 00264cb
commit 4e653e1
Showing 1 changed file with 1 addition and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -93,11 +93,8 @@ jobs:
         with:
           python-version: 3.8
 
-      - name: Install dependencies
-        run: pip install mkdocs
-
       - name: Build documentation
-        run: mkdocs build --clean
+        run: make htmldoc
 
   trivy-repo:
     runs-on: ubuntu-latest