From ce531302cd3b562a284da24ef425108d3466a7fb Mon Sep 17 00:00:00 2001 From: Matthias Clasen Date: Wed, 8 Aug 2012 09:55:29 -0400 Subject: [PATCH] Make --enable-man and --enable-gtk-doc independent Previously, --enable-man --disable-gtk-doc would silently skip man page generation, because we didn't even desdend into docs/reference. Fix this by always going there. https://bugzilla.gnome.org/show_bug.cgi?id=681336 --- docs/Makefile.am | 2 -- 1 file changed, 2 deletions(-) diff --git a/docs/Makefile.am b/docs/Makefile.am index 03580e8..2349f44 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -1,9 +1,7 @@ ## Process this file with automake to produce Makefile.in include $(top_srcdir)/Makefile.decl -if ENABLE_GTK_DOC SUBDIRS = reference -endif EXTRA_DIST += debugging.txt macros.txt -- 2.7.4