*** This is an automated message *** This bug is tagged needs-packaging which identifies it as a request for a new package in Ubuntu. As a part of the managing needs-packaging bug reports specification, https://wiki.ubuntu.com/QATeam/Specs/NeedsPackagingBugs, all needs- packaging bug reports have Wishlist importance. Subsequently, I'm setting this bug's status to Wishlist.
** Summary changed: - Request for packaging of gtk-doc-manual + [needs-packaging] Request for packaging of gtk-doc-manual ** Changed in: gtk-doc (Ubuntu) Importance: Undecided => Wishlist -- You received this bug notification because you are a member of Desktop Packages, which is subscribed to gtk-doc in Ubuntu. https://bugs.launchpad.net/bugs/1773570 Title: [needs-packaging] Request for packaging of gtk-doc-manual Status in gtk-doc package in Ubuntu: New Bug description: The `gtk-doc-tools` package does not contain the gtk-doc-manual (see https://developer.gnome.org/gtk-doc-manual/). The sources for the manual are part of the gtk-doc repository (see https://gitlab.gnome.org/GNOME/gtk-doc/tree/master/help/manual/). Please package the manual for Ubuntu either as a separate package (e.g. gtk-doc-manual) or include it as part of the existing `gtk-doc- tools` package. To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gtk-doc/+bug/1773570/+subscriptions -- Mailing list: https://launchpad.net/~desktop-packages Post to : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
