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