On Tue, Mar 6, 2018 at 11:08 PM, Boyuan Yang wrote:
> As previously explained by Yangfl, files in /usr/share/dman/ are
> richtext manuals intended to be read by deepin-manual (which is not in
> Debian Archive yet).
Is there any possibility of renaming this directory to deepin-manual
or deepin-manuals (if deepin-manual is already taken by the
deepin-manual package)? I think dman is too generic and likely to be
confused for something related to man-db.