1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
|
--- old/doc/makedoc.py 2018-12-23 22:04:36.000000000 +0300
+++ new/doc/makedoc.py 2023-11-29 00:52:18.652610083 +0300
@@ -10,9 +10,10 @@
import xml.sax
-import string
import re
+string = str
+
def remove_duplicate_blanks(text):
result=text
@@ -61,7 +62,7 @@
return result
def format_email_and_url(text):
- result=text
+ result=text
email=re.compile('"([\w\-\.]+@[\w\-\.]+)"')
result=email.sub(r'\1',result);
@@ -366,7 +367,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 +406,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 +461,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 +506,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 +549,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,10 +561,11 @@
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()
+ parser.setFeature(xml.sax.handler.feature_external_ges, False)
parser.setContentHandler(handler)
parser.parse(src_file)
dst_code=handler.translated
|