#@PYTHON@
import os
+import re
import string
import sys
+
+entities = {
+ "&" : 'amp',
+ "`" : 'apos',
+ '>' : 'gt',
+ '<' : 'lt',
+ '"' : 'quot',
+ }
+
+def txt2html (s):
+ for i in entities.keys ():
+ s = re.sub (i, '\001' + entities[i] + ';', s);
+ s = re.sub ('\001', '&', s);
+ return s
+
for a in sys.argv[1:]:
# hmm, we need: text2html out/foe.txt -> out/foe.html,
# -o is a bit overkill?
<html><body><pre>
%s
</pre></body></html>
-""" % open (a).read ()
+""" % txt2html (open (a).read ())
open (outfile, 'w').write (s)