diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 5b32866f9..fade9a806 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -245,6 +245,11 @@ jobs:
       - name: Load package, run tests
         run: |
           octave --eval "pkg test symbolic"
+      - name: Build HTML documentation
+        run: |
+          octave --eval "pkg install -forge generate_html"
+          make html
+          octave --eval "pkg uninstall generate_html; pkg list"
       - name: uninstall package
         run: |
           octave --eval "pkg uninstall symbolic; pkg list"