debian/man/kmenuedit-kde3.1