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

[Josef Spillner]

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 
files.
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).

Josef

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