texmf-dist/source/latex/menu/menu.dtx texmf-dist/source/latex/menu/menu.ins texmf-dist/tex/latex/menu/menu.sty texmf-dist/tpm/menu.tpm texmf/lists/menu