diffutils/config/texinfo.tex

42 % Texinfo has a small home page at http://texinfo.org/ and also
56 %   dvips foo.dvi -o  # or whatever; this makes foo.ps.
112 \ifx\putwordpage\undefined      \gdef\putwordpage{page}\fi
228                    % the page break happens to be in the middle of an example.
230       % Do this early so pdf references go to the beginning of the page.
247           \hfil % center the page within the outer (page) hsize.
534 % @group ... @end group forces ... to be all on one page, by enclosing
600 % forces a page break if there is not space-in-mils remaining.
608 %% This method tries to make TeX break the page naturally
628     % And a page break here is fine.
631     % TeX does not even consider page breaks if a penalty added to the
633     % empty box we just added fits on the page, we must make it consider
634     % page breaks.  On the other hand, we don't want to actually break the
635     % page after the empty box.  So we use a penalty of 9999.
638     % page at this \penalty, if there are no other feasible breakpoints in
640     % almost-but-not-quite fill up a page, TeX will have a hard time doing
641     % good page breaking, for example.)  However, I could not construct an
642     % example where a page broke at this \penalty; if it happens in a real
646     % Back up by the size of the box, whether we did a page break or not.
649     % Do not allow a page break right after this kern.
684 % @page    forces the start of a new page
686 \def\page{\par\vfill\supereject}
689 % outputs text on separate line in roman font, starting at standard page margin
731 % (if RIGHT-TEXT is given, use TEXT for left page, RIGHT-TEXT for right;
746     \def\temp{\inrightmargin\righttext}% odd page -> outside is right margin
1222 % Fonts for title page:
1570 \message{page headings,}
1575 % First the title page.  Must do @settitle before @titlepage.
1589         \endgroup\page\hbox{}\page}
1597    % Leave some space at the very top of the page.
1603                     % print a rule at the page bottom also.
1606    % No rule at page bottom unless we print one at the top with @title.
1620    \let\oldpage = \page
1621    \def\page{%
1626       \let\page = \oldpage
1628 %   \def\page{\oldpage \hbox{}}
1635    % It is important to do the page break before ending the group,
1637    % If we use the new definition of \page, we always get a blank page
1638    % after the title page, which we certainly don't want.
1643    % in effect the toc pages will come out with page numbers.
1667 %%% Set up page headings and footings.
1732 % @headings after       turns on double-sided headings after this page.
1733 % @headings doubleafter turns on double-sided headings after this page.
1734 % @headings singleafter turns on single-sided headings after this page.
1744 % When we turn headings on, set the page number to 1.
1747 % title on inside top of left hand pages, and page numbers on outside top
1759 % For single-sided printing, chapter title goes across top left of page,
1760 % page number on top right.
1857   % by itself, and do not allow a page break either before or after that
1876     % Stop a page break at the \parskip glue coming up.  Unfortunately
1877     % we can't prevent a possible page break at the following
2108 % or in percent of \hsize, the current width of text on page.
2258   % Maybe so, but it also creates really weird page breaks when the table
2511   % page 401 of the TeXbook: make the current font be a dummy font.
3048         % Avoid page breaks due to these extra skips, too.
3068 %  \entry {sortstring}{page}{topic}
3070 %  \entry {sortstring}{page}{topic}{subtopic}
3192   % \hangindent is only relevant when the entry text and page number
3216   % there are no page numbers.  The next person who breaks this will be
3224     % If we must, put the page number on a line of its own, and fill out
3226     % fill leaders glue in \indexdotfill if the page number does fit.)
3228     \null\nobreak\indexdotfill % Have leaders before the page number.
3234       \pdfgettoks#2.\ \the\toksA % The page number ends the paragraph.
3236       \ #2% The page number ends the paragraph.
3256     \pdfgettoks#2.\ \the\toksA % The page number ends the paragraph.
3264 % Adapted from the TeXbook, page 416, which is to say,
3287       % Unvbox the main output page.
3297   % Change the page size parameters.  We could do this once outside this
3329   % (undoubled) page height minus any material left over from the
3330   % previous page.
3342 % Re-output the contents of the output page -- any previous material,
3356     % current page, no automatic page break.
3359     % If we end up splitting too much material for the current page,
3360     % though, there will be another page break right after this \output
3372   % the current page.  We're now back to normal single-column
3455 % page headings and footings can use it.  @section does likewise.
3791 %%% Define plain chapter starts, and page on/off switching for it
3838   \nobreak\bigskip % no page break after a chapter title
3944   % Tell \shipout to create a page destination if we're doing pdf, which
3946   % just do it on every page because the title pages are numbered 1 and
3947   % 2 (the page numbers aren't printed), and so are the first two pages
3962    % start on an odd page, unlike chapters.  Thus, we maintain
3980       % Roman numerals for page numbers.
4008       % We want a true roman here for the page numbers.
4039 % The last argument is the page number.
4096 % page number.
4129   \vskip 0pt plus1pt % allow a little stretch for the sake of nice page breaks
4628   \parindent = 0pt  % looks wrong on title page
4705 % First, defname, which formats the header line itself.
4736 % #3 should be the control sequence that actually processes the header,
5624     % page 3
5644 % \internalsetq {foo}{page} expands into
5788   % For example, 'xrdef {$\leq $-fun}{page ...} made by @defun ^^
6104   % If page is nothing but text, make it come out even.
6360 @c page-delimiter: "^\\\\message"