Lines Matching refs:ifhtml
2842 % Ignore @ignore, @ifhtml, @ifinfo, and the like.2849 \def\ifhtml{\doignore{ifhtml}}
