Lines Matching refs:should
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