1.1 --- a/docs/Makefile.am	Thu Jun 26 10:37:45 2008 -0400
     1.2 +++ b/docs/Makefile.am	Mon Jun 30 10:46:20 2008 +0100
     1.3 @@ -20,7 +20,11 @@
     1.4  # Extra options to supply to gtkdoc-mktmpl
     1.5  MKTMPL_OPTIONS=
     1.6  
     1.7 +if ENABLE_GTK_DOC
     1.8  include $(top_srcdir)/gtk-doc.make
     1.9 +else
    1.10 +EXTRA_DIST =
    1.11 +endif
    1.12  
    1.13  # Version information for marking the documentation
    1.14  EXTRA_DIST += version.xml.in