summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Doc/README7
1 files changed, 4 insertions, 3 deletions
diff --git a/Doc/README b/Doc/README
index 66fca2d..313aa12 100644
--- 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: