43 % manual foo.texi, however, you can get away with this:
44 %   tex foo.texi
45 %   texindex foo.??
46 %   tex foo.texi
47 %   tex foo.texi
48 %   dvips foo.dvi -o  # or whatever; this makes foo.ps.
85 \let\ptexfootnote=\footnote
329 \newbox\footlinebox
344   \setbox\footlinebox = \vbox{\let\hsize=\pagewidth \makefootline}%
384       \ifdim\ht\footlinebox > 0pt
385         % Only leave this space if the footline is nonempty.
389         \unvbox\footlinebox
423 \ifvoid\footins\else\vskip\skip\footins\footnoterule \unvbox\footins\fi
466 %    @end itemize  @c foo
496 % \parseargdef\foo{...}
498 % \def\foo{\parsearg\Xfoo}
501 % Actually, I use \csname\string\foo\endcsname, ie. \\foo, as it is my
535 %   \envdef\foo{...}
555 % ... but they get defined via ``\envdef\foo{...}'':
582 % @end foo executes the definition of \Efoo.
1330     \line{\pdfsetcolor{\maincolor}\the\footline}%
1592 % For now, we do not accumulate font styles: @b{@i{foo}} prints foo in
1965 % Fonts for indices, footnotes, small examples (9pt).
2098 % Fonts for indices, footnotes, small examples (9pt).
2815     % because the headline and footline are only empty inside the group.
2882 %%% Set up page headings and footings.
2888 \newtoks\evenfootline    % footline on even pages
2889 \newtoks\oddfootline     % footline on odd pages
2894 \footline={{\textfonts\rm \ifodd\pageno \the\oddfootline
2928   % Leave some space for the footline.  Hopefully ok to assume
2949 \def\evenfootingmarks{\headingmarks{even}{footing}}
2950 \def\oddfootingmarks{\headingmarks{odd}{footing}}
2953 \def\everyfootingmarks#1 {\headingmarks{even}{footing}{#1}
2954                           \headingmarks{odd}{footing}{#1} }
2955 % #1 = even/odd, #2 = heading/footing, #3 = top/bottom.
3113     % Do this with kerns and \unhbox so that if there is a footnote in
3478       % Check for saved footnotes, etc.
3719 % @value{foo} gets the text saved in variable foo.
3730     % we're called from @code, as @code{@value{foo-bar_}}, though.
3798 % \newindex {foo} defines an index named foo.
3799 % It automatically defines \fooindex such that
3800 % \fooindex ...rest of line... puts an entry in the index foo.
3801 % It also defines \fooindfile to be the number of the output channel for
3802 % the file that accumulates this index.  The file's extension is foo.
3815 % @defindex foo  ==  \newindex{foo}
3833 % @synindex foo bar    makes index foo feed into index bar.
3834 % Do this instead of @defindex foo if you don't want it as a separate index.
3836 % @syncodeindex foo bar   similar, but put all entries made for index foo
3842 % #1 is \doindex or \docodeindex, #2 the index getting redefined (foo),
3853   % redefine \fooindfile:
3856   % redefine \fooindex:
3860 % Define \doindex, the driver for all \fooindex macros.
3861 % Argument #1 is generated by the calling \fooindex macro,
3862 %  and it is "foo", the name of the index.
4185 % Workhorse for all \fooindexes.
4763 % and name of the chapter.  Page headings and footings can use
5648 % @foo ... @end foo.
5876 % We often define two environments, @foo and @smallfoo.
6283   % Remember that \dosubind{fn}{foo}{} is equivalent to \doind{fn}{foo}.
6456 % If we encounter &foo, then turn on ()-hacking afterwards
6648 % It maps \foo\ => \csname macarg.foo\endcsname => #N
6854 % @node foo , bar , ...
7236 % including footnotes.
7238 \newcount \footnoteno
7245 \def\supereject{\par\penalty -20000\footnoteno =0 }
7247 % @footnotestyle is meaningful for info output only.
7248 \let\footnotestyle=\comment
7252 % Auto-number footnotes.  Otherwise like plain.
7253 \gdef\footnote{%
7256   \global\advance\footnoteno by \@ne
7257   \edef\thisfootno{$^{\the\footnoteno}$}%
7259   % In case the footnote comes at the end of a sentence, preserve the
7260   % extra spacing after we do the footnote number.
7264   % Remove inadvertent blank space before typesetting the footnote number.
7271 % footnote text as a parameter.  Our footnotes don't need to be so general.
7274 % \parseargline) fails inside footnotes because the tokens are fixed when
7275 % the footnote is read.  --karl, 16nov96.
7278   \insert\footins\bgroup
7280   % footnote reference occurs in (for example) a display environment.
7284   \splittopskip\ht\strutbox % top baseline for broken footnotes
7295   % Because we use hanging indentation in footnotes, a @noindent appears
7297   % hanging indentation so @noindent can still be needed within footnote
7301   % Hang the footnote text off the number.  Use \everypar in case the
7302   % footnote extends for more than one paragraph.
7306   % Don't crash into the line above the footnote text.  Since this
7308   % provide a place where TeX can split the footnote.
7309   \footstrut
7314 % In case a @footnote appears in a vbox, save the footnote text and create
7317 % Similarily, if a @footnote appears inside an alignment, save the footnote
7333 % This \insert replacement works for both \insert\footins{foo} and
7334 % \insert\footins\bgroup foo\egroup, but it doesn't work for \insert27{foo}.
7371 \newsaveins\footins
7471   % don't lose footnotes inside @float.
7526 % @float Foo,lbl & @caption{Cap}: Foo 1.1: Cap
7527 % @float Foo,lbl & no caption:    Foo 1.1
7528 % @float Foo & @caption{Cap}:     Foo: Cap
7529 % @float Foo & no caption:        Foo
7676       % if the user said @listoffloats foo but never @float foo.
8938 % Say @foo, not \foo, in error messages.

Indexes created Tue Jul 24 14:28:13 CEST 2018