Add '.ext/cfd/' from commit 'e370d22add00480a67fd028c0e7d3148737fe484'
[runlisp] / .ext / cfd / doc / texinice.tex
diff --git a/.ext/cfd/doc/texinice.tex b/.ext/cfd/doc/texinice.tex
new file mode 100644 (file)
index 0000000..b4d84de
--- /dev/null
@@ -0,0 +1,117 @@
+@tex % -*-tex-*-
+%
+% Make Texinfo printed output look nice
+%
+% (c) 1998 Mark Wooding
+%
+
+%----- Licensing notice -----------------------------------------------------
+%
+% This file is free software; you can redistribute it and/or modify
+% it under the terms of the GNU General Public License as published by
+% the Free Software Foundation; either version 2 of the License, or
+% (at your option) any later version.
+%
+% This file is distributed in the hope that it will be useful,
+% but WITHOUT ANY WARRANTY; without even the implied warranty of
+% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+% GNU General Public License for more details.
+%
+% You should have received a copy of the GNU General Public License
+% along with this file; if not, write to the Free Software Foundation,
+% Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
+
+\global\parskip = 10pt
+\global\parindent = 0pt
+\global\defaultparindent = 0pt
+
+\global\smallskipamount = 6pt
+
+\gdef\afourpaper{
+  \global\tolerance=700
+  \global\hfuzz=1pt
+  \setleading{12pt}
+  \global\topskip = 36pt
+  %%% NO!!! \global\parskip 15pt plus 1pt
+
+  \global\vsize= 53\baselineskip
+  \global\advance\vsize by \topskip
+  \global\hsize=   5.85in     % A4 wide 10pt
+  %\global\hsize=  6.5in
+  \global\outerhsize=\hsize
+  \global\advance\outerhsize by 0.5in
+  \global\outervsize=\vsize
+  \global\advance\outervsize by 0.6in
+
+  \ifx\txipagewidth\xxundefined
+    \global\let\txipagewidth=\pagewidth
+    \global\let\txipageheight=\pageheight
+  \fi
+  \global\txipagewidth=\hsize
+  \global\txipageheight=\vsize
+}
+
+\global\contentsrightmargin = 0pt
+
+\global\font\textrm = pplr7t at 10pt
+\global\font\texttt = pcrr7tn at 10pt
+\global\font\textbf = pplb7t at 10pt
+\global\font\textit = pplri7t at 10pt
+%\global\font\textsl = pplro7t at 10pt
+\global\let\textsl = \textit
+\global\font\textsc = pplrc7t at 10pt
+\global\font\textsf = phvr7t at 10pt
+\global\font\textttsl = pcrro7t at 10pt
+
+\global\let\defbf = \textbf
+\global\let\deftt = \texttt
+
+\global\font\ninett = pcrr7tn at 9pt
+\global\font\indrm = pplr7t at 9pt
+\global\font\intit = pplri7t at 9pt
+%\global\font\indsl = pplro7t at 9pt
+\global\let\indsl = \indit
+\global\let\indtt = \ninett
+\global\let\indttsl = \ninett
+\global\let\indsf = \indrm
+\global\let\indbf = \indrm
+\global\font\indsc = pplrc7t at 9pt
+
+\global\font\chaprm = phvb7t at 14.4pt
+\global\font\chapsl = phvbo7t at 14.4pt
+\global\let\chapit = \chapsl
+\global\font\chaptt = pcrb7t at 14.4pt
+\global\font\chapttsl = pcrbo7t at 14.4pt
+\global\let\chapsf = \chaprm
+\global\font\chapsc = phvbc7t at 14.4pt
+\global\let\chapbf = \chaprm
+
+\global\font\secrm = phvb7t at 12pt
+\global\font\secsl = phvbo7t at 12pt
+\global\let\secit = \secsl
+\global\font\sectt = pcrb7t at 12pt
+\global\font\secttsl = pcrbo7t at 12pt
+\global\let\secsf = \secrm
+\global\font\secsc = phvbc7t at 12pt
+\global\let\secbf = \secrm
+
+\global\font\ssecrm = phvb7t at 10pt
+\global\font\ssecsl = phvbo7t at 10pt
+\global\let\ssecit = \ssecsl
+\global\font\ssectt = pcrb7t at 10pt
+\global\font\ssecttsl = pcrbo7t at 10pt
+\global\let\ssecsf = \ssecrm
+\global\font\ssecsc = phvbc7t at 10pt
+\global\let\ssecbf = \ssecrm
+
+\global\font\titlerm = phvb7t at 20pt
+\global\let\authorrm = \secrm
+
+% \gdef\var#1{\leavevmode\hbox{$\langle$\textit#1\/$\rangle$}}
+
+%----- That's all, folks ----------------------------------------------------
+
+@end tex
+@textfonts
+@textrm
+@raggedbottom