chore: stub workflow for automatic docs deployment

2026-05-30 01:47:01 +00:00 · 2025-08-24 22:04:40 +08:00
parent b4e2ea4fd5
commit 8c693f4843
2 changed files with 13 additions and 6 deletions
@@ -70,9 +70,3 @@ linkcheck:
 	@echo
 	@echo "Link check complete; look for any errors in the above output " \
 	      "or in linkcheck/output.txt."
-
-gh-pages: html
-	cd gh-pages; git pull --rebase; cd ..; cp -r ./html/* gh-pages
-
-publish: gh-pages
-	cd gh-pages; git commit -a; git push; cd ..