diff options
Diffstat (limited to 'repo/www/Makefile')
| -rw-r--r-- | repo/www/Makefile | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/repo/www/Makefile b/repo/www/Makefile index 3c5f813..fb933c8 100644 --- a/repo/www/Makefile +++ b/repo/www/Makefile @@ -13,25 +13,28 @@ text_folders = $(call dirnames,$(shell git ls-files $(text_patterns))) all: site +cache = .cache # Maps folders to their contents (files and subfolders). -site_tree = site-tree.json +site_tree = $(cache)/site-tree.json # Defines $(pages) and $(indices). -dependencies = deps.mk +dependencies = $(cache)/deps.mk -$(site_tree): $(text_folders) +$(site_tree): $(text_folders) | $(cache) ./generate-tree.py -o $@ $(TEXT_FILES) -$(dependencies): $(site_tree) +$(dependencies): $(site_tree) | $(cache) ./generate-deps.py $< $@ $(OUT_DIR) include $(dependencies) site: $(pages) $(indices) -# $(text_folders) may be missing some intermediate folders since it -# only contains folders that hold some text files. Rely on the full -# list of HTML pages and indices. -$(call dirnames,$(pages) $(indices)): +# List of output folders. Compute this from the full list of HTML +# pages, since $(text_folders) may be missing some intermediate +# directories (e.g. folders that only contain subfolders). +html_folders = $(call dirnames,$(pages) $(indices)) + +$(html_folders) $(cache): mkdir -p $@ $(pages): $(OUT_DIR)/%.html: |