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