nix-dot-dev/nix.dev
1
1
Fork 0
mirror of https://github.com/nix-dot-dev/nix.dev.git synced 2024-08-17 09:10:35 +03:00
Code Issues Projects Releases Wiki Activity

reload on all source changes

Browse Source
This commit is contained in:
Domen Kožar 2020-07-09 14:15:46 +02:00
parent e467d02840
commit a30de6f519
No known key found for this signature in database
GPG Key ID: C2FFBCAFD2C24246
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
live.py
View File

@ -7,7 +7,7 @@ build_docs = shell("make html")
print("Doing an initial build of the docs...")
build_docs()
server.watch("source/*.rst", build_docs)
server.watch("source/*", build_docs)
server.watch("source/**/*", build_docs)
server.watch("_templates/*.html", build_docs)
server.watch("source/**/*.rst", build_docs)
server.serve(root="build/html")