look for pdflatex.exe too under windows

svn: r13955 original commit: c9445be62de29d4b0f560d47a927b4b1b00c64bd
2009-03-04 19:36:55 +00:00 · 2009-03-04 19:36:55 +00:00 · 77748d9e13
commit 77748d9e13
parent 6913c927f3
1 changed files with 2 additions and 0 deletions
--- 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)))