documentation-packages team mailing list archive
-
documentation-packages team
-
Mailing list archive
-
Message #02537
[Bug 1691867] Re: New binary name: gnome-user-docs instead of gnome-user-guide
** Changed in: gnome-user-docs (Ubuntu)
Assignee: Gunnar Hjalmarsson (gunnarhj) => lolo (loloadam373)
** Information type changed from Public to Public Security
--
You received this bug notification because you are a member of
Documentation Packages, which is subscribed to ubuntu-docs in Ubuntu.
https://bugs.launchpad.net/bugs/1691867
Title:
New binary name: gnome-user-docs instead of gnome-user-guide
Status in gnome-commander package in Ubuntu:
New
Status in gnome-control-center package in Ubuntu:
New
Status in gnome-documents package in Ubuntu:
New
Status in gnome-flashback package in Ubuntu:
New
Status in gnome-getting-started-docs package in Ubuntu:
Fix Released
Status in gnome-panel package in Ubuntu:
Fix Released
Status in gnome-session package in Ubuntu:
New
Status in gnome-shell package in Ubuntu:
New
Status in gnome-user-docs package in Ubuntu:
Fix Released
Status in meta-gnome3 package in Ubuntu:
Triaged
Status in ubuntu-docs package in Ubuntu:
Fix Committed
Status in ubuntu-gnome-meta package in Ubuntu:
Triaged
Status in unity-control-center package in Ubuntu:
New
Status in vino package in Ubuntu:
New
Status in yelp package in Ubuntu:
New
Bug description:
The binary package, which is currently built by the gnome-user-docs
source package, is named gnome-user-guide. To bring it into line with
upstream, the binary should be named gnome-user-docs.
This affects quite a few packages, which depend/recommend/suggest
gnome-user-guide. OTOH, the latter is turned into a transitional dummy
package.
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-commander/+bug/1691867/+subscriptions
References