-
It already was optional under --enable-gnome; just split that out into its own configure option Closes: https://bugzilla.gnome.org/show_bug.cgi?id=690225
b4d828e0
It already was optional under --enable-gnome; just split that out into its own configure option Closes: https://bugzilla.gnome.org/show_bug.cgi?id=690225