doc/include/texinfo.tex

22 % You should have received a copy of the GNU General Public License
208 % @| inserts a changebar to the left of the current line.  It should
304   % the headline as they should be, not taken literally (outputting ''code).
397 % the input line (except we remove a trailing comment).  #1 should be a
479   % should produce a line of output anyway.
484   % therein should become regular spaces in the raw index file, not the
716     % should appear on a line by itself (according to the Texinfo
819 % That's how much \exdent should take out.
2125 % @registeredsymbol - R in a circle.  The font for the R should really
2243 % @author should come last, but may come many times.
3127 % which this file should belong to.  Ignore this in TeX.
3146 % The name of an index should be no more than 2 characters long
3418   % Accent commands should become @asis.
4636   % If @setchapternewpage on, and @headings double, the contents should
4716   % This space should be enough, since a single number is .5em, and the
4826 % Since these characters are used in examples, it should be an even number of
5499   % (plain.tex says that \dimen1 should be used only as global.)
5516     % . we're printing identifiers, they should be in tt in principle.
6021 % 4) NAME-lof   - the text as it should appear in a @listoffloats.
6324   % of the xrdef.  Seems like it should be a catcode12 \, and that
6325   % should not typeset properly.  But it works, so I'm moving on for
6359 % removed. (Generally, numeric constants should always be followed by a
6846 should work if nowhere else does.}
6849 % @documentencoding should change something in TeX eventually, most
6890 % We also call \setleading{\textleading}, so the caller should define
6891 % \textleading.  The caller should also set \parskip.
7039 % Perhaps we should allow setting the margins, \topskip, \parskip,
7040 % and/or leading, also. Or perhaps we should compute them somehow.
7196 % That is what \eatinput is for; after that, the `\' should revert to printing