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

[Peter Eisentraut]

Josef Spillner wrote:
> This is only to get some navigation buttons for the Docbook-generated
> HTML files.

But they aren't used anywhere, even if installed.

Another matter in ggz-docs is that the info files installation still 
doesn't work correctly.  It tries to install two documents, but only 
the second one shows up in the index at the end, presumably because the 
two entries overwrite each other.