Re: [PATCH] docs/Makefile.am: use `WITH_DOCS_TRUE` to fix `--with-docs=no`

[Dan Williams <dcbw redhat com>]

On Sun, 2011-05-08 at 15:22 +0200, Michael Biebl wrote:
> Am 08.05.2011 12:32, schrieb Paul Menzel:
> > Date: Sun, 8 May 2011 12:26:06 +0200
> > 
> > Although passing `--with-docs=no` to `configure` the build system still tries to include `gtk-doc.make`.
> > 
> 
> gtk-doc should always be included, even if the documentation is not built.
> Otherwise you could end up with a non-functional release tarball.

Though I guess if people really don't want to install gtkdoc, we could
allow --with-docs=no to skip all that, but ensure that
DISTCHECK_CONFIGURE_FLAGS requires it?  As long as the official release
tarballs don't have the issue, I'm not against letting people skip
gtkdoc in their private builds.

Dan