# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1362525418 -3600
# Node ID 78dd5bd3e830ee99fd0a2638ea954783c5aa66b3
# Parent  de62a3e21775b6d4f704429304d516abc1404aa0
Handle an empty attachments argument so that --no-translate can be specified.
Added page filenames to the translated pages using a pragma.

diff -r de62a3e21775 -r 78dd5bd3e830 convert.py
--- a/convert.py	Wed Mar 06 00:15:45 2013 +0100
+++ b/convert.py	Wed Mar 06 00:16:58 2013 +0100
@@ -271,6 +271,7 @@
 
     out = codecs.open(filename, "w", encoding="utf-8")
     try:
+        print >>out, "#pragma page-filename", filename
         fn(body, out)
     finally:
         out.close()
@@ -462,7 +463,7 @@
         filename = sys.argv[1]
         is_zipfile = splitext(filename)[-1] == extsep + "zip"
         space = sys.argv[2]
-        if len(sys.argv) > 3:
+        if len(sys.argv) > 3 and sys.argv[3]:
             attachments = sys.argv[3]
         else:
             attachments = None