[pkg-ggz-maintainers] ggz-docs and gtk-doc

Josef Spillner josef at ggzgamingzone.org
Fri May 4 09:32:10 UTC 2007

On Friday 04 May 2007 07:21:06 Peter Eisentraut wrote:
> The ggz-docs build seems to want to copy a few optional things
> from /usr/share/gtk-doc/.  What is that about?  Do we need this?  In
> either case we should make this more deterministic, because otherwise
> the result depends on the build environment.

This is only to get some navigation buttons for the Docbook-generated HTML 
I'd like to drop the dependency, but I'd still like to have decent formatting 
of the HTML pages (mostly the specs).
We could add a dependency now and copy/replace those images locally in our 
trunk once the docbook build chain gets an overhaul (which it should anyway 
since many things have changed).


Free online games for everybody: http://www.ggzgamingzone.org/

More information about the pkg-ggz-maintainers mailing list