/[bison]/bison/config/texinfo.tex
ViewVC logotype

Diff of /bison/config/texinfo.tex

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.2.2.6 by akim, Mon Mar 11 19:19:34 2002 UTC revision 1.2.2.7 by akim, Wed Mar 20 08:48:08 2002 UTC
# Line 3  Line 3 
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.
# Line 1656  where each line of input produces a line Line 1656  where each line of input produces a line
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{%
# Line 3925  width0pt\relax} \fi Line 3923  width0pt\relax} \fi
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{%
# Line 3934  width0pt\relax} \fi Line 3932  width0pt\relax} \fi
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

Legend:
Removed from v.1.2.2.6  
changed lines
  Added in v.1.2.2.7

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26