mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-05 22:43:24 +00:00
42fc0b021d
copy - history is still preserved even though files are being "added". PR: 19352 Submitted by: Benno Rice <benno@netizen.com.au>
12 lines
361 B
Plaintext
12 lines
361 B
Plaintext
--- 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)
|