| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-08-19 | Put extensions in Lua module instead of sneaking them in environment | Ké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. | |||
