amd/doc/texinfo.tex

22 % You should have received a copy of the GNU General Public License
199 % @| inserts a changebar to the left of the current line.  It should
295   % the headline as they should be, not taken literally (outputting ''code).
388 % the input line (except we remove a trailing comment).  #1 should be a
470   % should produce a line of output anyway.
475   % therein should become regular spaces in the raw index file, not the
692     % should appear on a line by itself (according to the Texinfo
795 % That's how much \exdent should take out.
1962 % @registeredsymbol - R in a circle.  The font for the R should really
2080 % @author should come last, but may come many times.
2955 % which this file should belong to.  Ignore this in TeX.
2975 % The name of an index should be no more than 2 characters long
3245   % Accent commands should become @asis.
4437   % If @setchapternewpage on, and @headings double, the contents should
4521   % This space should be enough, since a single number is .5em, and the
4631 % Since these characters are used in examples, it should be an even number of
5303   % (plain.tex says that \dimen1 should be used only as global.)
5320     % . we're printing identifiers, they should be in tt in principle.
5825 % 4) NAME-lof   - the text as it should appear in a @listoffloats.
6126   % of the xrdef.  Seems like it should be a catcode12 \, and that
6127   % should not typeset properly.  But it works, so I'm moving on for
6158 % removed. (Generally, numeric constants should always be followed by a
6645 should work if nowhere else does.}
6648 % @documentencoding should change something in TeX eventually, most
6689 % We also call \setleading{\textleading}, so the caller should define
6690 % \textleading.  The caller should also set \parskip.
6820 % Perhaps we should allow setting the margins, \topskip, \parskip,
6821 % and/or leading, also. Or perhaps we should compute them somehow.
6975 % That is what \eatinput is for; after that, the `\' should revert to printing