3 |
% Load plain if necessary, i.e., if running under initex. |
% Load plain if necessary, i.e., if running under initex. |
4 |
\expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi |
\expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi |
5 |
% |
% |
6 |
\def\texinfoversion{2002-03-11.08} |
\def\texinfoversion{2002-03-13.06} |
7 |
% |
% |
8 |
% Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, |
% Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, |
9 |
% 2000, 01, 02 Free Software Foundation, Inc. |
% 2000, 01, 02 Free Software Foundation, Inc. |
1656 |
\global\let\contents = \relax |
\global\let\contents = \relax |
1657 |
\global\let\shortcontents = \relax |
\global\let\shortcontents = \relax |
1658 |
\fi |
\fi |
|
% |
|
|
\ifpdf \pdfmakepagedesttrue \fi |
|
1659 |
} |
} |
1660 |
|
|
1661 |
\def\finishtitlepage{% |
\def\finishtitlepage{% |
3923 |
% argument, which will end up as the last argument to the \...entry macro. |
% argument, which will end up as the last argument to the \...entry macro. |
3924 |
% |
% |
3925 |
% We open the .toc file here instead of at @setfilename or any other |
% We open the .toc file here instead of at @setfilename or any other |
3926 |
% given time so that @contents can be put in the document anywhere. |
% fixed time so that @contents can be put in the document anywhere. |
3927 |
% |
% |
3928 |
\newif\iftocfileopened |
\newif\iftocfileopened |
3929 |
\def\writetocentry#1{% |
\def\writetocentry#1{% |
3932 |
\global\tocfileopenedtrue |
\global\tocfileopenedtrue |
3933 |
\fi |
\fi |
3934 |
\iflinks \write\tocfile{#1{\folio}}\fi |
\iflinks \write\tocfile{#1{\folio}}\fi |
3935 |
|
% |
3936 |
|
% Tell \shipout to create a page destination if we're doing pdf, which |
3937 |
|
% will be the target of the links in the table of contents. We can't |
3938 |
|
% just do it on every page because the title pages are numbered 1 and |
3939 |
|
% 2 (the page numbers aren't printed), and so are the first two pages |
3940 |
|
% of the document. Thus, we'd have two destinations named `1', and |
3941 |
|
% two named `2'. |
3942 |
|
\ifpdf \pdfmakepagedesttrue \fi |
3943 |
} |
} |
3944 |
|
|
3945 |
\newskip\contentsrightmargin \contentsrightmargin=1in |
\newskip\contentsrightmargin \contentsrightmargin=1in |