diff options
Diffstat (limited to 'systems/doc/pdftex/manual/README')
-rw-r--r-- | systems/doc/pdftex/manual/README | 37 |
1 files changed, 20 insertions, 17 deletions
diff --git a/systems/doc/pdftex/manual/README b/systems/doc/pdftex/manual/README index be29ce125f..ec15f7771f 100644 --- a/systems/doc/pdftex/manual/README +++ b/systems/doc/pdftex/manual/README @@ -1,29 +1,32 @@ -$Id: README 742 2016-04-25 17:30:55Z karl $ - +$Id: README 914 2024-01-07 21:48:39Z karl $ (This README file public domain.) Documentation files for pdfTeX: -pdftex-a.pdf A4 paper size -pdftex-l.pdf letter paper size -pdftex-s.pdf screen format -pdftex-b.pdf A5 booklet made from pdftex-a.pdf -pdftex-b-e.pdf A5 booklet, even pages -pdftex-b-o.pdf A5 booklet, odd pages +Final output: +pdftex-a.pdf PDF at A4 paper size +pdftex-l.pdf PDF at letter paper size + +Sources: +pdftex.tex source for manual (LaTeX) +pdftexmanual.cls document class for manual (LaTeX) +incl/pdfmin-src.tex source for tiny pdf example (plain) +incl/pdfmin-fmt.tex source for formatting it (ConTeXt) -pdftex-t.tex source for manual (ConTeXt) -pdftex-w.tex source for title page (plain) -pdftex-i.tex settings for screen output (ConTeXt) +Files to be kept in sync (more or less) with outside sources: +incl/fdl-1.2.tex license text, static +incl/ini-etex.txt .ini example, static +incl/ini-pdfetex.txt another .ini example, static +incl/pdftexconfig.txt example pdftex config file -pdftex-help.txt output of --help -pdftex-syntax.tex primitives and syntax rules, autogenerated from manual -pdftex-syntax.txt autogenerated from .tex +Generated files: +incl/pdftex-help.txt output of --help, must be updated by hand +incl/pdftex-syntax.tex primitives and syntax rules, autogenerated from manual -syntaxform.pl script for making pdftex-syntax.tex -syntaxform.awk script for making pdftex-syntax.txt +Helper script: +syntaxform.pl script for making incl/pdftex-syntax.tex The Makefile has the rules for building everything. -For Windows, see makefiles.cmd, though it has not been updated in years. If working on the manual, make clean removes all the temporary files. make maintainer-clean removes everything that can be generated. |