GNOME Bugzilla – Bug 573555
tries to modify scrollkeeper stuff out-of-prefix
Last modified: 2009-03-02 14:53:24 UTC
the build is trying to mess with /var/lib even though --prefix=/something/else gtk-doc should honor the prefix. Scrollkeeper should use XDG_DATA_DIRS or equivalent, and "jhbuild run" should set that env variable to point scrollkeeper to the right place.
Thats a well known scrollkeeper bug: https://sourceforge.net/tracker2/?func=detail&aid=1746175&group_id=11543&atid=111543 But then scrollkeeper is dead :/ Please don't file bugs for the (obviously) wrong package.
Sorry, was not obvious to me. I'm building gtk-doc, not scrollkeeper. If scrollkeeper is unmaintained and gtk-doc uses it, I'd say it's gtk-doc's problem to deal with this somehow. The 2-year-old untouched scrollkeeper bug is obviously not getting fixed. Why not just drop scrollkeeper support if nobody is maintaining it. If people complain, they can maintain it.
This affects *all* packages that install help for gnome. Dropping scrollkeeper support, mean you won't find the manual under yelp. If you are not happy with that, uninstall scrollkeeper, then it won't be used.
api docs (as generated by gtk-doc) are supposed to show up in devhelp, not in yelp. No scrollkeeper needed for devhelp.
Matthias, this is abot the gtk-doc user-docs. besides, I am toying with the idea to generate a omf file and allow to install the plain xml docs so that one can browse api docs in yelp as well. If that happens it will be conditionally.
> If that happens it will be conditionally. Yes please. It is unlikely that we want to conflate user and developer docs in the distro...