added automatic doc gen

.github/workflows/doc.yml

@@ -0,0 +1,39 @@
+name: doc
+
+permissions:
+  contents: write
+
+on:
+  # regenerate when master branch is updated
+  push:
+    branches:
+      - master
+
+  # or when manually triggered from the Actions tab
+  workflow_dispatch:
+
+jobs:
+
+  build-doc:
+    name: Generation of documentation
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: obtain copy of repository
+        uses: actions/checkout@v1
+
+      - name: make a directory for the generated doc
+        run: mkdir docgen_dir
+
+      - name: run doxygen to generate doc, outputting to docgen_dir
+        uses: mattnotmitt/[email protected]
+        with:
+          working-directory: docgen_dir
+          doxyfile-path: doxyconfig/config
+          enable-latex: true
+
+      - name: deploy new doc to github pages
+        uses: peaceiris/actions-gh-pages@v3
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN }}
+          publish_dir: docgen_dir/html