Paul Wise writes: > On Thu, 11 Oct 2018 17:32:52 -0700 Sean Whitton wrote: >> Instead, if there is indeed consensus, we should change it so that it >> no longer says that doc-base registration is recommended. > > We need a cross-distro cross-desktop standard for an index of > docs before we can move on from doc-base like we did with menu.
I don't think so: we can just remove doc-base without providing a replacement at the same time too. Personally I don't know anyone using doc-base (probably most don't even know it exists). If doc-base has indeed no users (or very few users), it just creates work for maintainers for no real benefit. As [1] says, doc-base had 20+ years to get adopted. I think it is fair to say that it failed to do so. [1] https://bugs.debian.org/910783#13 Ansgar
