18 lines
449 B
INI
18 lines
449 B
INI
% configuration file for output of nipguide as html
|
|
\Preamble{html}
|
|
\begin{document}
|
|
|
|
% stop the mono font shrinkage we do for paper output
|
|
\renewenvironment{ctd}{\begin{quote}\tt}{\end{quote}}
|
|
|
|
% make a label
|
|
% in html, write an extra label which we can link to nip's help system
|
|
\renewcommand{\mylabel}[1]{
|
|
\label{#1}
|
|
\HCode{<a name="nip_label_#1"></a>}
|
|
}
|
|
|
|
% supress " on page xx" if we're making HTML
|
|
\renewcommand{\onpage}[1]{}
|
|
\EndPreamble
|