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 : [email protected] Unsubscribe : https://launchpad.net/~desktop-packages More help : https://help.launchpad.net/ListHelp
