From bec6f6c71e36eb4490cadfd52eeb779948f2c0b0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reinhard=20M=C3=BCller?= Date: Thu, 14 Mar 2019 11:43:54 +0100 Subject: [PATCH] Add some notes about open issues in Makefile --- Makefile | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/Makefile b/Makefile index 0826f2d119..28b020ad6a 100644 --- a/Makefile +++ b/Makefile @@ -25,6 +25,11 @@ $(SUBDIRS): .FORCE # Handle local menus # ----------------------------------------------------------------------------- +# FIXME: This runs when the makefile is parsed, before maybe new *.xhtml files +# are created in the news// and events// directories. It would be +# better to move this into a separate script tools/update-localmenus.sh. It +# would also be better if there was a separate .localmenu.en.xml file for each +# directory. MENUSOURCES := $(shell find -name '*.xhtml' -not -name "*-template.*" | xargs grep -l '' | sort) all: localmenuinfo.en.xml @@ -97,6 +102,8 @@ all: $(FUNDRAISING_LINKS) # file. # All directories containing source files for HTML pages. +# FIXME: This runs when the makefile is parsed, before maybe new *.xhtml files +# are created in the news// and events// directories. XHTML_DIRS := $(patsubst %/,%,$(sort $(dir $(shell find -name '*.??.xhtml')))) .PHONY: default_xsl