[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Launchpad Bug Tracker 
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).
  * debian/control.in:
- Depend on ubuntu-docs.

 -- Gunnar Hjalmarsson   Wed, 03 May 2017 14:12:00
+0200

** Changed in: gnome-user-docs (Ubuntu)
   Status: Fix Committed => Fix Released

-- 
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:
  Fix Released
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Jeremy Bicha 
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 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:
  Fix Committed
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Gunnar Hjalmarsson 
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.
https://bugs.launchpad.net/bugs/1687928

Title:
  Combine gnome-user-guide and ubuntu-docs

Status in gnome-user-docs package in Ubuntu:
  In Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Gunnar Hjalmarsson 
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:

http://bazaar.launchpad.net/~ubuntu-core-doc/ubuntu-docs/trunk/view/head
:/gnome-help/Makefile.am

The docs team may occationally want to add/remove files from both lists.

If you choose 'your way', can you change it when uploading, or should I
modify the 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 Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Ubuntu Foundations Team Bug Bot 
** 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 Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Jeremy Bicha 
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 in gnome-user-docs package in Ubuntu:
  In Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Launchpad Bug Tracker 
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 gnome-user-guide kept.
- A few pages forked from gnome-user-docs (where they will not be
  installed) and adapted to Ubuntu.
- Various tweaking to remove broken internal links etc.
- Build localized pages only for the intersection of the languages
  in gnome-user-docs and ubuntu-docs.

 -- Gunnar Hjalmarsson   Wed, 03 May 2017 14:57:00
+0200

** Changed in: ubuntu-docs (Ubuntu)
   Status: Fix Committed => Fix Released

-- 
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 Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Released

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Gunnar Hjalmarsson 
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)
   Status: In Progress => Fix Committed

-- 
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 Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Committed

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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

[Desktop-packages] [Bug 1687928] Re: Combine gnome-user-guide and ubuntu-docs

2017-05-03 Thread Launchpad Bug Tracker 
** 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 Ubuntu:
  In Progress
Status in ubuntu-docs package in Ubuntu:
  Fix Committed

Bug description:
  I have taken a few steps to accomplish the changes as described here:

  https://lists.ubuntu.com/archives/ubuntu-doc/2017-April/020404.html

  I will upload a mutilated and work in progress version of ubuntu-docs
  (see the changelog for a summary) and attach a gnome-user-docs patch
  here which will let gnome-user-guide and ubuntu-docs co-exist again.

  There are a few pending things which would probably be suitable to
  discuss on an IRC meeting.

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+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