Lines Matching refs:ifinfo
4052 % Ignore @ignore, @ifhtml, @ifinfo, and the like.4060 \def\ifinfo{\doignore{ifinfo}}4094 % #1 contains the command name as a string, e.g., `ifinfo'.4117 % If we're here, #1 ends with ^^M\ifinfo (for example).