Make --enable-man and --enable-gtk-doc independent
authorMatthias Clasen <mclasen@redhat.com>
Wed, 8 Aug 2012 13:55:29 +0000 (09:55 -0400)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 16 Aug 2012 22:06:05 +0000 (18:06 -0400)
commitce531302cd3b562a284da24ef425108d3466a7fb
tree57e633ec1298a0ec4d0478d727387cc34cd58bb7
parent317d91d06bc3bcdef91f98a7a75489977aa154e4
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