blob: a6eeb3395a02b91ab8594f62f19d20c72619628d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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)
|