Lines Matching refs:comment
389 % the input line (except we remove a trailing comment). #1 should be a
405 \argremovecomment #1\comment\ArgTerm%
409 % First remove any @comment, then any @c comment.
410 \def\argremovecomment#1\comment#2\ArgTerm{\argremovec #1\c\ArgTerm}
689 % Do @comment since we are called inside an environment such as
695 \comment
922 % @comment ...line which is ignored...
923 % @c is the same as @comment
924 % @ignore ... @end ignore is another way to write a comment
926 \def\comment{\begingroup \catcode`\^^M=\other%
931 \let\c=\comment
1124 \let\setfilename=\comment % Ignore extra @setfilename cmds.
1132 \comment % Ignore the actual filename.
3027 \let\dircategory=\comment
3030 \let\definfoenclose=\comment
4850 \let\nonarrowing=\comment
4864 \comment % For explanation, see the end of \def\group.
6235 \let\footnotestyle=\comment
6722 \let\documentencoding = \comment