diff options
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/README')
-rw-r--r-- | Master/texmf-dist/doc/pdftex/manual/README | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/Master/texmf-dist/doc/pdftex/manual/README b/Master/texmf-dist/doc/pdftex/manual/README index a05731f8ee2..f95b4a3a8a4 100644 --- a/Master/texmf-dist/doc/pdftex/manual/README +++ b/Master/texmf-dist/doc/pdftex/manual/README @@ -1,3 +1,5 @@ +$Id: README 635 2010-11-14 19:15:12Z karl $ + 1. List of pdfTeX documentation files ===================================== @@ -47,14 +49,10 @@ Execute file makefiles.cmd. 3.1 Generating pdftex-syntax.txt from pdftex-t.tex -------------------------------------------------- - pdftex-t.tex --> (awk -f syntaxform.awk) --> pdftex-syntax.txt 3.2 Generating title page of manual ----------------------------------- - pdftex-w.tex --> (pdfetex) --> pdftex-w.pdf --> (expand, fmt, grep) --> pdftex-t.txt - -$Id: README,v 1.23 2006/12/22 23:38:29 hhenkel Exp $ |