devmode
January 13, 2026 · View on GitHub
devmode is a daemon that:
- watches the manual's source for changes and when they occur — rebuilds
- HTTP serves the manual, injecting a script that triggers reload on changes
- opens the manual in the default browser