summaryrefslogtreecommitdiff
path: root/repo/www/generate-lua-config.py
AgeCommit message (Collapse)Author
2020-08-19Put extensions in Lua module instead of sneaking them in environmentKévin Le Gouguec
Note that neither .cache/config.lua nor .cache/site-tree.json get updated when EXTENSIONS changes. This could be hacked as follows: config = EXTENSIONS="$(EXTENSIONS)" ifneq "$(shell test -f $(config_token) && cat $(config_token))" \ "$(shell ./generate-config-token.py $(config))" .PHONY: $(lua_config) $(site_tree) $(config_token) endif Plus a recipe for config_token, and some dependencies on it.