Oops, missed version number for pdfTeX. Updated.

diff --git a/Doc/README b/Doc/README
index 66fca2d75fef25e209e740fd93495622eab7d3be..313aa12216b7ee22bb1ec361f4a496bad72519ab 100644 (file)
--- a/Doc/README
+++ b/Doc/README
@@ -96,9 +96,10 @@ To create DVI, PDF, or PostScript files:
 To create PDF files:
 
        - pdflatex.  We used the one in the teTeX 0.9 distribution
-         (version 0.12h at the time of this writing).  Versions even
-         a couple of patchlevels earlier are highly likely to fail
-         due to syntax changes for some of the pdftex primitives.
+         (pdfTeX version 3.14159-13b (Web2C 7.3beta4) at the time of
+         this writing).  Versions even a couple of patchlevels
+         earlier are highly likely to fail due to syntax changes for
+         some of the pdftex primitives.
 
 To create PostScript files: