Doc fix of compat

.github/workflows/Documentation.yml

@@ -1,3 +1,4 @@
+
 name: Documentation
 on:
   push:
@@ -20,3 +21,35 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
         run: julia --project=docs/ docs/make.jl
 
+
+
+
+
+
+
+
+
+
+
+
+
+# jobs:
+#   doc-preview-cleanup:
+#     runs-on: ubuntu-latest
+#     steps:
+#       - name: Checkout gh-pages branch
+#         uses: actions/checkout@v2
+#         with:
+#           ref: gh-pages
+#       - name: Delete preview and history + push changes
+#         run: |
+#             if [ -d "previews/PR$PRNUM" ]; then
+#               git config user.name "EL"
+#               git config user.email "EL@EL.com"
+#               git rm -rf "previews/PR$PRNUM"
+#               git commit -m "delete preview"
+#               git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
+#               git push --force origin gh-pages-new:gh-pages
+#             fi
+#         env:
+#             PRNUM: ${{ github.event.number }}

docs/Project.toml

@@ -0,0 +1,5 @@
+[deps]
+Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4"
+
+[compat]
+Documenter = "0.27"