docs: drop the unowned roboco.dev custom domain; serve on github.io

roboco.dev is not ours, so the docs.roboco.dev custom domain can never resolve. Remove the docs/CNAME and the custom-domain site_url, and point the advertised docs URL at the free GitHub Pages project URL (https://rennf93.github.io/roboco/) — no DNS required.
This commit is contained in:
Renn F
2026-06-22 16:09:05 +02:00
parent 8e87506da4
commit 28bb3b4374
8 changed files with 7 additions and 8 deletions
+1 -1
View File
@@ -493,7 +493,7 @@ help:
@echo " make clean - Clean cache files"
@echo " make prune - Prune docker resources"
@echo ""
@echo "Full docs: https://docs.roboco.dev (preview locally: make serve-docs)"
@echo "Full docs: https://rennf93.github.io/roboco/ (preview locally: make serve-docs)"
# Python versions list
.PHONY: show-python-versions