Lines Matching full:menu
738 % Also ignore @ifinfo, @ifhtml, @html, @menu, and @direntry text.743 \def\menu{\doignore{menu}}
