Set HTML documentation output folder to 'html'

.github/workflows/doc.yml

@@ -25,12 +25,12 @@ jobs:
       run: |
         doxygen grrlib.doxygen >/dev/null
         make --directory=latex >/dev/null
-        touch doc/.nojekyll
-        mv latex/refman.pdf doc/PDF-documentation.pdf
+        touch html/.nojekyll
+        mv latex/refman.pdf html/PDF-documentation.pdf
 
     - name: Deploy to GitHub Pages
       uses: JamesIves/github-pages-deploy-action@3.6.2
       with:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
         BRANCH: gh-pages
-        FOLDER: doc
+        FOLDER: html

.gitignore

@@ -17,7 +17,7 @@ build
 *.pnps
 
 # Generated doxygen documentation
-/doc
+/html
 /latex
 
 # Temporary file

grrlib.doxygen

@@ -1164,7 +1164,7 @@ GENERATE_HTML          = YES
 # The default directory is: html.
 # This tag requires that the tag GENERATE_HTML is set to YES.
 
-HTML_OUTPUT            = doc
+HTML_OUTPUT            = html
 
 # The HTML_FILE_EXTENSION tag can be used to specify the file extension for each
 # generated HTML page (for example: .htm, .php, .asp).
@@ -1768,7 +1768,7 @@ MAKEINDEX_CMD_NAME     = makeindex
 # The default value is: makeindex.
 # This tag requires that the tag GENERATE_LATEX is set to YES.
 
-LATEX_MAKEINDEX_CMD    = \makeindex
+LATEX_MAKEINDEX_CMD    = makeindex
 
 # If the COMPACT_LATEX tag is set to YES, doxygen generates more compact LaTeX
 # documents. This may be useful for small projects and may help to save some