summaryrefslogtreecommitdiff
path: root/systems/doc/pdftex/manual/incl/pdfmin-fmt.tex
diff options
context:
space:
mode:
Diffstat (limited to 'systems/doc/pdftex/manual/incl/pdfmin-fmt.tex')
-rw-r--r--systems/doc/pdftex/manual/incl/pdfmin-fmt.tex48
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