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=$@ $<