7 # hmm, we need: text2html out/foe.txt -> out/foe.html,
8 # -o is a bit overkill?
9 # outfile = os.path.basename (os.path.splitext(a)[0]) + '.html'
10 outfile = os.path.splitext(a)[0] + '.html'
21 """ % open (a).read ()
22 open (outfile, 'w').write (s)