Lines Matching refs:should
22 % You should have received a copy of the GNU General Public License
200 % @| inserts a changebar to the left of the current line. It should
296 % the headline as they should be, not taken literally (outputting ''code).
389 % the input line (except we remove a trailing comment). #1 should be a
471 % should produce a line of output anyway.
476 % therein should become regular spaces in the raw index file, not the
693 % should appear on a line by itself (according to the Texinfo
796 % That's how much \exdent should take out.
2024 % @registeredsymbol - R in a circle. The font for the R should really
2142 % @author should come last, but may come many times.
3026 % which this file should belong to. Ignore this in TeX.
3045 % The name of an index should be no more than 2 characters long
3316 % Accent commands should become @asis.
4509 % If @setchapternewpage on, and @headings double, the contents should
4593 % This space should be enough, since a single number is .5em, and the
4703 % Since these characters are used in examples, it should be an even number of
5375 % (plain.tex says that \dimen1 should be used only as global.)
5392 % . we're printing identifiers, they should be in tt in principle.
5897 % 4) NAME-lof - the text as it should appear in a @listoffloats.
6198 % of the xrdef. Seems like it should be a catcode12 \, and that
6199 % should not typeset properly. But it works, so I'm moving on for
6230 % removed. (Generally, numeric constants should always be followed by a
6717 should work if nowhere else does.}
6720 % @documentencoding should change something in TeX eventually, most
6761 % We also call \setleading{\textleading}, so the caller should define
6762 % \textleading. The caller should also set \parskip.
6892 % Perhaps we should allow setting the margins, \topskip, \parskip,
6893 % and/or leading, also. Or perhaps we should compute them somehow.
7047 % That is what \eatinput is for; after that, the `\' should revert to printing