From 77748d9e134867e96efd423fd3392fa044c9e1a7 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Wed, 4 Mar 2009 19:36:55 +0000 Subject: [PATCH] look for pdflatex.exe too under windows svn: r13955 original commit: c9445be62de29d4b0f560d47a927b4b1b00c64bd --- collects/scribble/private/run-pdflatex.ss | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/scribble/private/run-pdflatex.ss b/collects/scribble/private/run-pdflatex.ss index 5166b738..3802f808 100644 --- a/collects/scribble/private/run-pdflatex.ss +++ b/collects/scribble/private/run-pdflatex.ss @@ -8,6 +8,8 @@ (define (err fmt . args) (apply error 'run-pdflatex fmt args)) (define cmd (list (or (find-executable-path "pdflatex") + (and (eq? 'windows (system-type)) + (find-executable-path "pdflatex.exe")) (err "could not find a `pdflatex' executable")) "-interaction=batchmode" (format "~a" file)))