commit: 167e9b50644484f047b60fd1f55950821810dc18 Author: Göktürk Yüksek <gokturk <AT> gentoo <DOT> org> AuthorDate: Sat Dec 21 04:31:52 2019 +0000 Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org> CommitDate: Sat Dec 21 05:18:16 2019 +0000 URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=167e9b50
Makefile: make build_search_documents.py a prerequisite for documents.js Signed-off-by: Göktürk Yüksek <gokturk <AT> gentoo.org> Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org> Makefile | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 56f2e68..17be902 100644 --- a/Makefile +++ b/Makefile @@ -19,11 +19,12 @@ prereq: { echo "dev-libs/libxml2 is required" >&2;\ exit 1; } -# Since search_index.py rebuilds the index from scratch instead of -# updating it, we pass it the names of ALL prerequisites ($^) and not -# just the names of the ones that are new ($?). -documents.js: $(XMLS) - ./bin/build_search_documents.py $^ > _documents.js +# We need to parse all the XMLs every time, not just the ones +# that are newer than the target. This is because each search +# document in devmanual gets a unique ID, which is used to +# quickly tie search matches to the corresponding documents. +documents.js: bin/build_search_documents.py $(XMLS) + ./bin/build_search_documents.py $(XMLS) > _documents.js mv _documents.js documents.js %.png : %.svg