diff options
Diffstat (limited to 'textproc/sgmltools-lite/files/patch-ab')
| -rw-r--r-- | textproc/sgmltools-lite/files/patch-ab | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/textproc/sgmltools-lite/files/patch-ab b/textproc/sgmltools-lite/files/patch-ab new file mode 100644 index 000000000000..36b0c496d7f9 --- /dev/null +++ b/textproc/sgmltools-lite/files/patch-ab @@ -0,0 +1,11 @@ +--- python/backends/Dvi.py Fri Mar 24 20:25:06 2000 ++++ python/backends/Dvi.py.new Sat Jun 17 20:19:30 2000 +@@ -50,7 +50,7 @@ + # + (dvibase, junk) = os.path.splitext(outfile) + destfile = dvibase + '.dvi' +- cmdline = 'jadetex ' + outfile ++ cmdline = 'tex "&jadetex" ' + outfile + for run in range(3): + try: + os.unlink(destfile) |