Alex Schroeder 🐝 is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Does anybody know how to install the GNU manuals on ? 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!