diff --git a/docs/makefile b/docs/makefile index aed12c48e..eefe7dce4 100644 --- a/docs/makefile +++ b/docs/makefile @@ -2,7 +2,7 @@ _BUILD: python3 -m mkdocs build -d build --clean _DEPLOY: - python3 -m mkdocs gh-deploy -d build --message $(shell date "+%Y-%m-%d %H:%M:%S") + python3 -m mkdocs gh-deploy -d build --message "Update on $(shell date "+%Y-%m-%d %H:%M:%S")" _CONVERT: make -f third_party/template/makefile.latex.template svg diff --git a/makefile b/makefile new file mode 120000 index 000000000..9637c421d --- /dev/null +++ b/makefile @@ -0,0 +1 @@ +./docs/makefile \ No newline at end of file