slaesvuo/hledger
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

;make manuals-watch

Browse Source 
[ci skip]
This commit is contained in:
Simon Michael 2020-02-03 10:38:39 -08:00
parent 088e253eff
commit efc32138ac
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
Makefile
View File

@ -727,11 +727,16 @@ haddock: \
# # cd site/api && \ # # cd site/api && \
# # hoogle --convert=main.txt --output=default.hoo # # hoogle --convert=main.txt --output=default.hoo
# flaky
site-watch: Shake site-watch: Shake
$(call def-help,site-watch, open a browser on the website (in ./site) and rerender/reload when manuals or site content changes ) $(call def-help,site-watch, open a browser on the website (in ./site) and rerender/reload when manuals or site content changes )
(ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals) & (ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals) &
make -C site html-watch make -C site html-watch
manuals-watch: Shake
$(call def-help,manuals-watch, rerender manuals when their source files change )
ls $(DOCSOURCEFILES) | entr ./Shake -VV manuals
# This rule, for updating the live hledger.org site, gets called by: # This rule, for updating the live hledger.org site, gets called by:
# 1. github-post-receive (github webhook handler), when something is pushed # 1. github-post-receive (github webhook handler), when something is pushed
# to the main or wiki repos on Github. Config: # to the main or wiki repos on Github. Config: