7bd5e4d1a9
* devmode: swap nodejsPackages_latest.live-server for live-server * simplify build-and-copy * rename build-and-copy -> build-and-link * use writeShellApplication * remove `--print-events` for `watchexec` * support live build logs
devmode
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