commit: c92ff87eb8afef815d6f39c78579392f893967d0 Author: Ulrich Müller <ulm <AT> gentoo <DOT> org> AuthorDate: Sun Jan 17 22:09:37 2021 +0000 Commit: Ulrich Müller <ulm <AT> gentoo <DOT> org> CommitDate: Sun Jan 17 22:09:37 2021 +0000 URL: https://gitweb.gentoo.org/proj/devmanual.git/commit/?id=c92ff87e
Makefile: Call build_search_documents.py with python3 explicitly Bug: https://bugs.gentoo.org/765826 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 be1224f..13f2bb9 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) > $@ && echo "$@ built" + @python3 bin/build_search_documents.py $(XMLS) > $@ && echo "$@ built" %.png : %.svg rsvg-convert --output=$@ $<