Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- diff -ur a/doc/makedoc.py b/doc/makedoc.py
- --- a/doc/makedoc.py 2018-12-23 11:04:36.000000000 -0800
- +++ b/doc/makedoc.py 2023-11-26 22:02:05.206117713 -0800
- @@ -10,7 +10,7 @@
- import xml.sax
- -import string
- +string = str
- import re
- def remove_duplicate_blanks(text):
- @@ -366,7 +366,7 @@
- self.write("\n\\end{verbatim}\n")
- def translate(self,data,tag):
- result=data
- - result=format_email_and_url(result)
- + result=format_email_and_url(result)
- if (tag!="code"):
- result=format_tex(result)
- return result
- @@ -405,7 +405,7 @@
- self.write("\n")
- def translate(self,data,tag):
- result=data
- - result=format_email_and_url(result)
- + result=format_email_and_url(result)
- result=string.replace(result,"\\","\\\\")
- result=string.replace(result,".","\.")
- result=string.replace(result,"-","\-")
- @@ -460,7 +460,7 @@
- self.write("\n")
- def translate(self,data,tag):
- result=data
- - result=format_email_and_url(result)
- + result=format_email_and_url(result)
- if (tag=="code"):
- result=" "*self.indent+\
- string.replace(result,"\n","\n"+" "*self.indent)
- @@ -505,7 +505,7 @@
- self.write("\n@end example\n")
- def translate(self,data,tag):
- result=data
- - result=format_email_and_url(result)
- + result=format_email_and_url(result)
- if (tag!="code"):
- result=remove_duplicate_blanks(result)
- @@ -548,7 +548,7 @@
- self.write("\n")
- def translate(self,data,tag):
- result=data
- - result=format_email_and_url(result)
- + result=format_email_and_url(result)
- if (tag=="code"):
- result=format_uwc_code(result)
- @@ -560,7 +560,7 @@
- return result
- def run_parser(handler,dst,src):
- - dst_file=open(dst,"w")
- + dst_file=open(dst,"wb")
- src_file=open(src,"r")
- #src_code=src_file.read()
- parser=xml.sax.make_parser()
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement