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. -- bye, pabs https://wiki.debian.org/PaulWise
