diff options
Diffstat (limited to 'doc/user-guide/genhelp.py')
| -rw-r--r-- | doc/user-guide/genhelp.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user-guide/genhelp.py b/doc/user-guide/genhelp.py index b6a23c11..ec619344 100644 --- a/doc/user-guide/genhelp.py +++ b/doc/user-guide/genhelp.py @@ -2,6 +2,9 @@ # Usage: python genhelp.py input.xml output.txt # (Both python2 (>=2.5) or python3 work) +# +# The shebang above isn't used, set the PYTHON environment variable +# before running ./configure instead # This program is free software; you can redistribute it and/or # modify it under the terms of the GNU General Public License |