diff options
Diffstat (limited to 'doc/user-guide')
| -rw-r--r-- | doc/user-guide/Makefile | 4 | ||||
| -rw-r--r-- | doc/user-guide/genhelp.py | 4 |
2 files changed, 6 insertions, 2 deletions
diff --git a/doc/user-guide/Makefile b/doc/user-guide/Makefile index 62107ab7..28dd56ec 100644 --- a/doc/user-guide/Makefile +++ b/doc/user-guide/Makefile @@ -30,8 +30,8 @@ help.xml: commands.xml %.db.xml: %.xml docbook.xsl xsltproc --xinclude --output $@ docbook.xsl $< -help.txt: help.xml help.xsl commands.xml misc.xml quickstart.xml - python genhelp.py $< $@ +help.txt: $(_SRCDIR_)help.xml $(_SRCDIR_)commands.xml $(_SRCDIR_)misc.xml $(_SRCDIR_)quickstart.xml + python $(_SRCDIR_)genhelp.py $< $@ clean: rm -f *.html *.pdf *.ps *.rtf *.txt *.db.xml diff --git a/doc/user-guide/genhelp.py b/doc/user-guide/genhelp.py index c43c8d23..b6a23c11 100644 --- a/doc/user-guide/genhelp.py +++ b/doc/user-guide/genhelp.py @@ -19,6 +19,7 @@ # Boston, MA 02110-1301, USA. +import os import re import sys import xml.etree.ElementTree as ET @@ -221,6 +222,9 @@ def main(): print("Usage: python genhelp.py input.xml output.txt") return + # ensure that we really are in the same directory as the input file + os.chdir(os.path.dirname(os.path.abspath(sys.argv[1]))) + txt = process_file(sys.argv[1]) open(sys.argv[2], "w").write(txt) |