diff -r a7d69a11f395 -r 49825ba687ce src/Doc/System/Presentation.thy
--- a/src/Doc/System/Presentation.thy	Sat Jul 27 21:43:12 2013 +0200
+++ b/src/Doc/System/Presentation.thy	Sat Jul 27 21:50:30 2013 +0200
@@ -288,7 +288,7 @@
   @{executable pdflatex}, @{executable dvips}, @{executable bibtex}
   (for @{verbatim bbl}), and @{executable makeindex} (for @{verbatim
   idx}).  The actual commands are determined from the settings
-  environment (@{setting ISABELLE_LATEX} etc.).
+  environment (@{setting ISABELLE_PDFLATEX} etc.).
 
   The @{verbatim sty} output format causes the Isabelle style files to
   be updated from the distribution.  This is useful in special