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