diff -r 026c47621214 -r 9b71b537d175 docs/Makefile.am
--- a/docs/Makefile.am	Thu Jun 26 10:37:45 2008 -0400
+++ b/docs/Makefile.am	Mon Jun 30 08:51:26 2008 +0100
@@ -20,7 +20,11 @@
 # Extra options to supply to gtkdoc-mktmpl
 MKTMPL_OPTIONS=
 
+if ENABLE_GTK_DOC
 include $(top_srcdir)/gtk-doc.make
+else
+EXTRA_DIST =
+endif
 
 # Version information for marking the documentation
 EXTRA_DIST += version.xml.in