commit: a5d9290cc058972d81deb8c325d570a4757e3c40
Author: Ulrich Müller <ulm <AT> gentoo <DOT> org>
AuthorDate: Wed Feb 26 18:57:08 2020 +0000
Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org>
CommitDate: Wed Feb 26 20:39:50 2020 +0000
URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=a5d9290c
Makefile: Quieten the documents.js recipe.
Signed-off-by: Ulrich Müller <ulm <AT> gentoo.org>
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index b93a85e..4879792 100644
--- a/Makefile
+++ b/Makefile
@@ -41,7 +41,7 @@ build: $(HTMLS) $(IMAGES)
# 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) > $@
+ @./bin/build_search_documents.py $(XMLS) > $@ && echo "$@ built"
%.png : %.svg
rsvg-convert --output=$@ $<
