diff options
Diffstat (limited to 'doc/tools/makedoku.py')
| -rw-r--r-- | doc/tools/makedoku.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/tools/makedoku.py b/doc/tools/makedoku.py index e8207715fe..1ab16841b1 100644 --- a/doc/tools/makedoku.py +++ b/doc/tools/makedoku.py @@ -1,3 +1,6 @@ +#!/usr/bin/python +# -*- coding: utf-8 -*- + import sys import xml.etree.ElementTree as ET @@ -8,7 +11,7 @@ for arg in sys.argv[1:]: input_list.append(arg) if len(input_list) < 1: - print("usage: makedoku.py <class_list.xml>") + print("usage: makedoku.py <classes.xml>") sys.exit(0) |