Lines Matching refs:comment
383 % the input line (except we remove a trailing comment). #1 should be a
399 \argremovecomment #1\comment\ArgTerm%
403 % First remove any @comment, then any @c comment.
404 \def\argremovecomment#1\comment#2\ArgTerm{\argremovec #1\c\ArgTerm}
697 % Do @comment since we are called inside an environment such as
703 \comment
930 % @comment ...line which is ignored...
931 % @c is the same as @comment
932 % @ignore ... @end ignore is another way to write a comment
934 \def\comment{\begingroup \catcode`\^^M=\other%
939 \let\c=\comment
1132 \let\setfilename=\comment % Ignore extra @setfilename cmds.
1140 \comment % Ignore the actual filename.
3127 \let\dircategory=\comment
3130 \let\definfoenclose=\comment
4984 \comment % For explanation, see the end of \def\group.
6350 \let\footnotestyle=\comment
6839 \let\documentencoding = \comment