diff options
Diffstat (limited to 'systems/doc/pdftex/manual/incl/pdfmin-src.tex')
| -rw-r--r-- | systems/doc/pdftex/manual/incl/pdfmin-src.tex | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/systems/doc/pdftex/manual/incl/pdfmin-src.tex b/systems/doc/pdftex/manual/incl/pdfmin-src.tex new file mode 100644 index 0000000000..c6986788ac --- /dev/null +++ b/systems/doc/pdftex/manual/incl/pdfmin-src.tex @@ -0,0 +1,13 @@ +% $Id: pdfmin-src.tex 914 2024-01-07 21:48:39Z karl $ +% run with -ini: + \catcode`{=1 \catcode`}=2 + \def\TeX{T\kern-.1667em\lower.5ex\hbox{E}\kern-.125emX} + \hsize=6.5in \vsize=9in \parfillskip=0pt plus1fil +\pdfoutput=1 +\pdfcompresslevel=0 +\pdfobjcompresslevel=0 +\pdfmapline{ptmr8r Times-Roman 2 <8r.enc} +\font\tenrm=ptmr8r +\tenrm +Welcome to pdf\TeX!\par +\end |