Use mkdocs for building the documentation site. (#456)

.github/workflows/publish_docs.yml

@@ -0,0 +1,24 @@
+
+
+name: Publish docs via GitHub Pages
+on:
+  push:
+    branches:
+      - main
+      - master
+
+jobs:
+  build:
+    name: Deploy docs
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout main
+        uses: actions/checkout@v2
+
+      - name: Deploy docs
+        uses: mhausenblas/mkdocs-deploy-gh-pages@master
+        # Or use mhausenblas/mkdocs-deploy-gh-pages@nomaterial to build without the mkdocs-material theme
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          CUSTOM_DOMAIN: asynchronous.in
+          CONFIG_FILE: mkdocs.yml