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