[gnome-desktop] [build] Add gtk-doc build to configure summary

[Vincent Untz <vuntz src gnome org>]

commit eb4d87567da0b61fb007d2f91fbf6ddcb6c324dc
Author: Vincent Untz <vuntz gnome org>
Date:   Tue Mar 9 13:18:16 2010 +0100

    [build] Add gtk-doc build to configure summary

 configure.in |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/configure.in b/configure.in
index cc87f78..9a74f31 100644
--- a/configure.in
+++ b/configure.in
@@ -265,5 +265,6 @@ echo "
         Use external pnp.ids:         ${EXTERNAL_PNP_IDS}
         Startup notification support: ${have_startup_notification}
         XRandr support:               ${have_randr}
+        Build gtk-doc documentation:  ${enable_gtk_doc}
 
 "