# Not meant to be called by end user, also no options available
deepin-menu: no-manual-page usr/bin/deepin-menu
