This bug was fixed in the package gnome-user-docs - 3.24.0-0ubuntu2
---
gnome-user-docs (3.24.0-0ubuntu2) artful; urgency=medium
* debian/rules:
- Don't install certain files - modified versions of most of them
are installed by ubuntu-docs instead (LP: #1687928).
*
Thank you! I didn't use my pasted proposal, but I slightly tweaked
before uploading.
https://launchpadlibrarian.net/318180037/gnome-user-
docs_3.24.0-0ubuntu1_3.24.0-0ubuntu2.diff.gz
** Changed in: gnome-user-docs (Ubuntu)
Status: In Progress => Fix Committed
--
You received this bug
A detail: If you choose override_dh_install instead of
override_dh_auto_install, the trailing dh_install command is redundant
(there are no debian/install files).
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-user-docs in Ubuntu.
On 2017-05-03 17:15, Jeremy Bicha wrote:
> Gunnar, what do you think of https://paste.debian.net/930606/ ?
Works too; no strong opinion.
One argument in favor of the code I proposed is that the style is
similar to gnome-help/Makefile.am in ubuntu-docs:
** Tags added: patch
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-user-docs in Ubuntu.
https://bugs.launchpad.net/bugs/1687928
Title:
Combine gnome-user-guide and ubuntu-docs
Status in gnome-user-docs package in Ubuntu:
In
Gunnar, what do you think of https://paste.debian.net/930606/ ?
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-user-docs in Ubuntu.
https://bugs.launchpad.net/bugs/1687928
Title:
Combine gnome-user-guide and ubuntu-docs
Status
This bug was fixed in the package ubuntu-docs - 17.10.2
---
ubuntu-docs (17.10.2) artful; urgency=medium
* Convert ubuntu-docs to serve as a supplement to gnome-user-guide
(LP: #1687928):
- Most .page files and images removed; a few pages without
equivalents in
Patch attached; ubuntu-docs uploaded.
** Patch added: "gnome-user-docs_dont-install-certain-files.debdiff"
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+attachment/4871453/+files/gnome-user-docs_dont-install-certain-files.debdiff
** Changed in: ubuntu-docs (Ubuntu)
** Branch linked: lp:ubuntu-docs
--
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-user-docs in Ubuntu.
https://bugs.launchpad.net/bugs/1687928
Title:
Combine gnome-user-guide and ubuntu-docs
Status in gnome-user-docs package in
9 matches
Mail list logo