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 Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1687928 Title: Combine gnome-user-guide and ubuntu-docs To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-user-docs/+bug/1687928/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
