Updating these docs

This site is plain HTML, CSS and JavaScript in /home/rob/docs/public. One agent (Claude) owns it: it reads the repos in /home/rob/code and rewrites the pages. Agents working inside those repos never write here.

Code: /home/rob/docs

The daily run

A cron job runs scripts/update.sh every day. For each page it asks an agent to compare the repo with the page. If the repo has no new commits and nothing is wrong, the page is left alone. Every page that changes gets its own git commit. Output goes to logs/YYYY-MM-DD.log.

Install or change the schedule (default 05:30 server time):

Schedule
cd /home/rob/docs
scripts/install-cron.sh {{TIME}}
crontab -l | grep docs-update

Updating by hand

Update everything, one page, or several pages. Names are the repo folder names (plus football-manager and index).

Pages
cd /home/rob/docs
scripts/update.sh                 # everything
scripts/update.sh {{PAGE}}        # just one page
scripts/update.sh fm-reader football-manager   # several

Or open Claude Code in /home/rob/docs and say "update the {{PAGE}} docs". The document-repo skill tells it what to do.

cd /home/rob/docs
scripts/check-links.sh

Prints any link or #anchor that points nowhere. No output means all good.

Publishing the site

The files are served as-is by nginx at docs.admin.sortitoutsi.net. Set that up (or re-apply it) with:

cd /home/rob/docs
./scripts/deploy-nginx.sh
SKIP_CERTBOT=1 ./scripts/deploy-nginx.sh   # without HTTPS

Adding a page by hand

  1. Copy scripts/page-template.html to public/NAME.html.
  2. Add ['NAME', 'NAME'] to public/assets/nav.js.
  3. Add a line for it on the overview.

How pages work

Skills the agent uses

Stored in /home/rob/docs/.claude/skills:

SkillFor
document-repoWriting or refreshing one repo's page
football-manager-docKeeping the shared game page correct
update-docsWhole-site runs: index, navigation, links, commits

Changelog