Thomas Sachau a écrit :
> Why not do both (rebuild and install) with the doc useflag and none of both, if it is not set? Imho
> the doc flag is for control of installation for (additional) docs, the way it is used for gtk-doc is
> surely confusing.
>

Building gtk-doc documentation pulls in a lot of deps. Installing it 
requires only some disk-space. For a full Gnome system, I only have 96M 
of docs.

As for rebuilding docs, one of the advantage is to correctly crosslink 
docs for tools such as dev-util/devhelp.

If anyone is _that_ short on diskspace, we'll gladly take patches :)

Cheers

Rémi