1
0
Fork 0
mirror of https://github.com/NixOS/nix.dev.git synced 2024-10-18 14:32:43 -04:00
nix.dev/live.py

14 lines
306 B
Python
Raw Normal View History

2020-05-18 05:40:46 -04:00
from livereload import Server, shell
server = Server()
build_docs = shell("make html")
print("Doing an initial build of the docs...")
build_docs()
2020-07-09 08:15:46 -04:00
server.watch("source/*", build_docs)
server.watch("source/**/*", build_docs)
2020-06-15 12:06:41 -04:00
server.watch("_templates/*.html", build_docs)
2020-05-18 05:40:46 -04:00
server.serve(root="build/html")