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)))