Re: GNOME Policy, draft 0.0.0.1

[Christian Marillat <marillat.christian@wanadoo.fr>]

Ross Burton <ross@burtonini.com> writes:

[...]

> gtk-doc should be disabled by default with
> '--disable-gtk-doc'. Otherwise the Debian diff become quickly big and
> share unneeded files.

> Why is this?  Surely if any files are left after a clean, this is a bug
> and should be fixed/worked around.

gtk-doc is called in make dist, then we don't need to generate a second
time all documentation. Personally I build all my packages with
--disable-gtk-doc 

Christian