documentation-packages team mailing list archive
-
documentation-packages team
-
Mailing list archive
-
Message #02511
[Bug 1691867] Re: New binary name: gnome-user-docs instead of gnome-user-guide
This bug was fixed in the package gnome-panel - 1:3.24.1-1ubuntu2
---------------
gnome-panel (1:3.24.1-1ubuntu2) artful; urgency=medium
* Build without -Bsymbolic-functions flag (works around LP: #1689680).
* Update suggestion: gnome-user-guide → gnome-user-docs (LP: #1691867).
-- Dmitry Shachnev <mitya57@xxxxxxxxxx> Sat, 10 Jun 2017 19:12:29
+0300
** Changed in: gnome-panel (Ubuntu)
Status: New => Fix Released
--
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