diff options
Diffstat (limited to 'systems/doc/pdftex/manual/incl/pdfmin-fmt.tex')
-rw-r--r-- | systems/doc/pdftex/manual/incl/pdfmin-fmt.tex | 48 |
1 files changed, 48 insertions, 0 deletions
diff --git a/systems/doc/pdftex/manual/incl/pdfmin-fmt.tex b/systems/doc/pdftex/manual/incl/pdfmin-fmt.tex new file mode 100644 index 0000000000..15e66c635d --- /dev/null +++ b/systems/doc/pdftex/manual/incl/pdfmin-fmt.tex @@ -0,0 +1,48 @@ +% $Id: pdfmin-fmt.tex 914 2024-01-07 21:48:39Z karl $ +% ConTeXt file to generate the two-column PDF output we show at the +% beginning. Since this code was already written, and still works, +% we just keep using it, instead of rewriting in LaTeX or plain TeX. + +\setuppapersize[letter][letter] + +\starttext +% The number of lines on the title page depends on exactly +% what \PDF\ code is generated; the Makefile outputs this. +% See frontispiece.txt. +\setvariables[pdftex][titlepagelines=61] + +% title page + +\definelayout + [titlepage] + [backspace=0pt, % left margin + cutspace=1.5in, % less between columns + topspace=0pt, + bottomspace=0pt, + header=0pt, + footer=0pt, + lines=\getvariable{pdftex}{titlepagelines}, + grid=yes, + width=middle] + +\definecolumnset + [titlepage] + [n=2,distance=.66in] + +\start + \chardef\fontdigits=2 + \switchtobodyfont[11pt,tt] + \setupinterlinespace + [line=\dimexpr((\paperheight)/\getvariable{pdftex}{titlepagelines})] + \setuptyping[margin=,color=] + \setuplayout[titlepage] + + \startcolumnset[titlepage] + \typefile{incl/pdfmin-src.txt} + \stopcolumnset + + \page + \setuplayout +\stop + +\stoptext |