Files
wren/util
Bob Nystrom 1d1e5d68ad feat: add servedocs make target and HTTP server to generate_docs.py
Add a new `servedocs` Makefile target that runs `generate_docs.py --serve`, enabling continuous doc generation and local web serving. Extend the Python script with `RootedHTTPServer` and `RootedHTTPRequestHandler` classes to serve generated HTML files from the output directory, refreshing content on each request via `format_files(True)`. Also update the shebang to `python3` and change the conversion print message from "converted" to "Built".
2017-10-12 13:38:34 +00:00
..