New upstream yelp-tools fix these issues, I think. They have yet to propagate down to Ubuntu, but we hope they will be 14.04 release. There a couple of other issues with this stuff, where even the GNOME docs do not reflect the GNOME DeskTop. Somehow we'll sort it all out.
New upstream yelp-tools fix these issues, I think. They have yet to propagate down to Ubuntu, but we hope they will be 14.04 release. There a couple of other issues with this stuff, where even the GNOME docs do not reflect the GNOME DeskTop. Somehow we'll sort it all out.