Lines Matching refs:Should
22 % You should have received a copy of the GNU General Public License
323 % the headline as they should be, not taken literally (outputting ''code).
422 % the input line (except we remove a trailing comment). #1 should be a
503 % should produce a line of output anyway.
508 % therein should become regular spaces in the raw index file, not the
661 % should appear on a line by itself (according to the Texinfo
755 % That's how much \exdent should take out.
814 % @| inserts a changebar to the left of the current line. It should
1121 % No primitive available; should we give a warning or log?
1390 % tried to figure out what each command should do in the context
2492 % The following should really be moved into \setupmarkupstyle handlers.
3010 % Since these characters are used in examples, they should be an even number of
3096 % sometimes we redefine the original macro, and the alias should reflect
3164 % @registeredsymbol - R in a circle. The font for the R should really
3273 % don't worry much about spacing, ragged right. This should be used
3276 % should be specified before the end of the \vbox, since a vbox is a group.
3304 % @author should come last, but may come many times.
4271 % which this file should belong to. Ignore this in TeX.
4290 % The name of an index should be no more than 2 characters long
4378 % should define @lbrace and @rbrace commands a la @comma.
4609 % Accent commands should become @asis.
5828 \checkenv{}% should not be in an environment.
6033 % If @setchapternewpage on, and @headings double, the contents should
6118 % This space should be enough, since a single number is .5em, and the
7057 % . we're printing identifiers, they should be in tt in principle.
7178 % these should not use \errmessage; the glibc manual, at least, actually
7842 % 4) NAME-lof - the text as it should appear in a @listoffloats.
7925 % We (should) know the real title if we have the xref values.
7946 % spaces in #1, which should be ignored.
8221 % Special characters. Should be turned off anyway, but...
8240 % of the xrdef. Seems like it should be a catcode12 \, and that
8241 % should not typeset properly. But it works, so I'm moving on for
8276 % removed. (Generally, numeric constants should always be followed by a
8805 directory should work if nowhere else does.}
9699 % We also call \setleading{\textleading}, so the caller should define
9700 % \textleading. The caller should
9852 % Perhaps we should allow setting the margins, \topskip, \parskip,
9853 % and/or leading, also. Or perhaps we should compute them somehow.
10019 % That is what \eatinput is for; after that, the `\' should revert to printing
