Public bug reported:

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.

** Affects: gtk-doc (Ubuntu)
     Importance: Undecided
         Status: New


** Tags: needs-packaging

-- 
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:
  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     : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp

Reply via email to