Matthias Clasen ce531302cd 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
2012-08-16 18:06:05 -04:00
..
2012-08-16 17:21:03 -04:00