Treat '-' as minus, not hyphen

Generate warning for &#nn; character references (not supported)


git-svn-id: https://svn.osgeo.org/grass/grass/trunk@37552 15284696-431f-4ddb-bdfa-cd5b030d7da7

tools/g.html2man/g.html2man.py

@@ -366,6 +366,7 @@ class Formatter:
 	s = s.replace("'", "\\(cq")
 	s = s.replace("\"", "\\(dq")
 	s = s.replace("`", "\\(ga")
+	s = s.replace("-", "\\-")
 	if self.at_bol and s[0] in [".","'"]:
 	    s = "\\&" + s
 	self.show(s)
@@ -451,6 +452,9 @@ class MyHTMLParser(HTMLParser):
 	else:
 	    sys.stderr.write("unrecognized entity: %s\n" % name)
 
+    def handle_charref(self, name):
+	sys.stderr.write('unsupported character reference <%s>' % name);
+
     def handle_data(self, data):
 	self.append(data)