42fc0b021d
copy - history is still preserved even though files are being "added". PR: 19352 Submitted by: Benno Rice <benno@netizen.com.au>
12 lines
370 B
Plaintext
12 lines
370 B
Plaintext
--- python/backends/Pdf.py Fri Mar 24 20:36:07 2000
|
|
+++ python/backends/Pdf.py.new Sat Jun 17 20:20:25 2000
|
|
@@ -50,7 +50,7 @@
|
|
#
|
|
(pdfbase, junk) = os.path.splitext(outfile)
|
|
destfile = pdfbase + '.pdf'
|
|
- cmdline = 'pdfjadetex ' + outfile
|
|
+ cmdline = 'pdftex "&pdfjadetex" ' + outfile
|
|
for run in range(3):
|
|
try:
|
|
os.unlink(destfile)
|