diff --git a/Makefile b/Makefile index 2d276373..e3d9f396 100644 --- a/Makefile +++ b/Makefile @@ -183,7 +183,7 @@ $(HTML_MIN_LIST): FORCE @echo $(sort $(HTML)) > $@.tmp @cmp -s $@.tmp $@ && rm -f $@.tmp || mv $@.tmp $@ -$(HTML_MIN_STAMP): $(HTML) $(HTML_MIN_LIST) tools/minify.py $(if $(wildcard $(HTML_MIN)),,FORCE) +$(HTML_MIN_STAMP): $(HTML) html/app.js $(HTML_MIN_LIST) tools/minify.py tools/rjsmin.py $(if $(wildcard $(HTML_MIN)),,FORCE) rm -rf $(HTML_MIN) mkdir -p $(HTML_MIN) @for f in $(HTML); do python3 tools/minify.py $$f $(HTML_MIN)/$$(basename $$f) || exit 1; done