#@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?
	# outfile = os.path.basename (os.path.splitext(a)[0]) + '.html'
	outfile = os.path.splitext(a)[0] + '.html'
	
	try:
	    os.unlink(outfile)
	except:
	    pass

	s = r"""

<html>
<head>
  <META HTTP-EQUIV="Content-Type" CONTENT="text/html; charset=UTF-8">
</head>

<body><pre>
%s
</pre></body></html>
""" % txt2html (open (a).read ())
	open (outfile, 'w').write (s)


