Update docs

.github/workflows/doc.yml

@@ -25,7 +25,7 @@ jobs:
       run: |
         sudo apt update
         sudo apt install doxygen
-        pip install mkdocs
+        pip install mkdocs mkdocs-material mkdocstrings pymdown-extensions
         cmake -E make_directory ${{runner.workspace}}/build
 
     - name: Build
@@ -34,5 +34,5 @@ jobs:
         KEY: ${{secrets.KEY}}
       run: |
         cmake $GITHUB_WORKSPACE
-        # make doc
+        make doc
         # $GITHUB_WORKSPACE/support/build-docs.py