From 099d877b8fe33c2e17c48bc6f99324ae732cf597 Mon Sep 17 00:00:00 2001 From: Sunil Mohan Adapa Date: Wed, 9 Sep 2020 01:39:25 -0700 Subject: [PATCH] doc: wikiparser: Make it easier to run with a #! at the top Signed-off-by: Sunil Mohan Adapa --- doc/Makefile | 2 +- doc/scripts/wikiparser.py | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) mode change 100644 => 100755 doc/scripts/wikiparser.py 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