diff options
Diffstat (limited to 'doc/user-guide/genhelp.py')
| -rw-r--r-- | doc/user-guide/genhelp.py | 4 |
1 files changed, 4 insertions, 0 deletions
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) |