-
Matthias Clasen authored
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
ce531302