docs: add manual workflow to update docs through ci

Notes:
- the current result is not the same as running outside docker
- src links points to HEAD because git is not installed, neither .git
  dir is included in the image

Only use this if is a emergency, otherwise, run locally:

make docs docs-publish

Author: ryukinix

.github/workflows/docs.yml

@@ -0,0 +1,19 @@
+name: Docs
+
+on: workflow_dispatch
+
+jobs:
+  build-and-publish:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: Build docs using docker
+        run: make docker-docs
+
+      - name: Publish docs to gh-pages
+        run: make docs-publish

Makefile

@@ -35,10 +35,12 @@ docker-build:
 docker-shell: docker-build
 	docker run --rm -it --entrypoint=/bin/bash $(DOCKER_IMG)
 
-
 docker-run: docker-build
 	docker run --rm -it --network=host $(DOCKER_IMG)
 
+docker-docs: docker-build docs-worktree
+	docker run --rm -t -v $(PWD)/docs:/root/.roswell/local-projects/local/lisp-inference/docs --entrypoint=ros $(DOCKER_IMG) run -l run-docs.lisp
+
 docker-check: docker-build
 	docker run --rm -t --entrypoint=ros $(DOCKER_IMG) run -l run-test.lisp