[Fedora-packaging] naming of "documentation-devel" package
Hi,
A package named "documentation-devel" has been submitted for review to
Fedora recently:
https://bugzilla.redhat.com/show_bug.cgi?id=427481
It provides a comprehensive set of tools used by the Red Hat Docs team
and some others to build documentation written in docbook and its
translations into various formats.
The question is can we keep the name as is, since they are not keen on
changing it, or should the name of the package be changed?
Jens