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
