diff --git a/build_mkdocs.sh b/build_mkdocs.sh new file mode 100755 index 0000000..e9b48d8 --- /dev/null +++ b/build_mkdocs.sh @@ -0,0 +1,4 @@ +cd mkdocs_src +mkdocs gh-deploy -d ../docs +cd .. +git add . diff --git a/docs/404.html b/docs/404.html index 2b3a1f1..f31687b 100644 --- a/docs/404.html +++ b/docs/404.html @@ -33,10 +33,9 @@