diff --git a/doc/Makefile b/doc/Makefile index 962f5f06d..4a3d9185a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -110,7 +110,7 @@ $(manual-pages-part-html): %.part.html: %.xml rm -f $(dir $@)docbook.css $(manual-xmls) $(manual-pages-xml): %.xml: %.raw.wiki $(SCRIPTS_DIR)/wikiparser.py - python3 $(SCRIPTS_DIR)/wikiparser.py --begin-marker="## BEGIN_INCLUDE" \ + $(SCRIPTS_DIR)/wikiparser.py --begin-marker="## BEGIN_INCLUDE" \ --end-marker='## END_INCLUDE' $< | xmllint --format - > $@ %.1: %.xml diff --git a/doc/scripts/wikiparser.py b/doc/scripts/wikiparser.py old mode 100644 new mode 100755 index 9201929f1..141046bf2 --- a/doc/scripts/wikiparser.py +++ b/doc/scripts/wikiparser.py @@ -1,3 +1,4 @@ +#!/usr/bin/python3 # SPDX-License-Identifier: AGPL-3.0-or-later """ MoinMoin wiki parser