1.1 --- a/convert.py Wed Mar 06 00:15:45 2013 +0100
1.2 +++ b/convert.py Wed Mar 06 00:16:58 2013 +0100
1.3 @@ -271,6 +271,7 @@
1.4
1.5 out = codecs.open(filename, "w", encoding="utf-8")
1.6 try:
1.7 + print >>out, "#pragma page-filename", filename
1.8 fn(body, out)
1.9 finally:
1.10 out.close()
1.11 @@ -462,7 +463,7 @@
1.12 filename = sys.argv[1]
1.13 is_zipfile = splitext(filename)[-1] == extsep + "zip"
1.14 space = sys.argv[2]
1.15 - if len(sys.argv) > 3:
1.16 + if len(sys.argv) > 3 and sys.argv[3]:
1.17 attachments = sys.argv[3]
1.18 else:
1.19 attachments = None