← Back to team overview

documentation-packages team mailing list archive

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


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:


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
Documentation Packages, which is subscribed to ubuntu-docs in Ubuntu.

  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:


  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: