text = text.replace(".", "\\&.")
text = text.replace("-", "\\-")
return text
+def unescape(text):
+ text = text.replace('<', '<')
+ text = text.replace('>', '>')
+ text = text.replace('"', '"')
+ text = text.replace('&', '&')
+ return text
+
def refentryinfo2(refentry, title):
date, productname, manvolnum, refentrytitle = "", "", "", ""
return text
def cleanpara(para):
- item = ET.tostring(para)
+ item = unescape(ET.tostring(para))
item = item.replace("\n", " ")
item = item.replace(" ", " ")
item = item.replace(" ", " ")
item = item.replace("</function>", "\\fP")
item = item.replace("<literal>", "\\fI")
item = item.replace("</literal>", "\\fP")
- return item
+ return item
def styleinfo():
styles = []