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 _______________________________________________ networkmanager-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/networkmanager-list
