Lines Matching refs:comment
439 % the input line (except we remove a trailing comment). #1 should be a
455 \argremovecomment #1\comment\ArgTerm%
459 % First remove any @comment, then any @c comment.
460 \def\argremovecomment#1\comment#2\ArgTerm{\argremovec #1\c\ArgTerm}
753 % Do @comment since we are called inside an environment such as
759 \comment
986 % @comment ...line which is ignored...
987 % @c is the same as @comment
988 % @ignore ... @end ignore is another way to write a comment
990 \def\comment{\begingroup \catcode`\^^M=\other%
995 \let\c=\comment
1197 \let\setfilename=\comment % Ignore extra @setfilename cmds.
1205 \comment % Ignore the actual filename.
3785 \let\dircategory=\comment
3788 \let\definfoenclose=\comment
5815 \comment % For explanation, see the end of \def\group.
7248 \let\footnotestyle=\comment