index 3d137e9b4d220b7eb9966133711e08cec47f055e..3c699c8ff4f168d862c8401295f01a1fe7a50921 100644 (file)
run((cmd+' "%s" "%%s"') % sys.argv[-1].replace("%","%%"), "ps2pdf")
-# vim: expandtab shiftwidth=4 tabstop=8 softtabstop=4 encoding=utf-8 textwidth=99
+# vim: expandtab shiftwidth=4 tabstop=8 softtabstop=4 fileencoding=utf-8 textwidth=99