build: Port themes documentation to yelp-tools

gnome-doc-utils is considered deprecated, so documentation using
it should be dropped or moved to the new yelp-tools.
Given that the theme format is rather cryptic, still used by mutter
and documentation on it quite spare, dropping the documentation in
question doesn't seem like a good idea, so move to yelp-tools instead.
As this effectively adds a dependency on GNOME 3, provide a configure
switch to disable the documentation to allow builds on "pure" GNOME 2.x
systems.

1 files changed, 1 insertions, 1 deletions

diff --git a/autogen.sh b/autogen.sh
index 1159af27..75f1cfb3 100755
--- a/autogen.sh
+++ b/autogen.sh
@@ -19,4 +19,4 @@ which gnome-autogen.sh || {
     echo "your distribution's package manager)."
     exit 1
 }
-USE_GNOME2_MACROS=1 USE_COMMON_DOC_BUILD=yes . gnome-autogen.sh
+USE_GNOME2_MACROS=1 . gnome-autogen.sh