Does anybody know how to install the GNU manuals on #PureOS? I see that make suggests make-doc, which isn't available, or emacs25 suggests emacs25-common-non-dfsg which has no candidate. These are all in Debian non-free, but I don't use Debian, I use a distribution based on Debian. Do I still add the Debian non-free repo to my sources.list? That sounds like madness!