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 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
