Uses gtk-doc tools even when --disable-gtk-doc passed
authorberto@igalia.com <berto@igalia.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Sat, 14 Sep 2013 08:38:27 +0000 (08:38 +0000)
committerberto@igalia.com <berto@igalia.com@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Sat, 14 Sep 2013 08:38:27 +0000 (08:38 +0000)
https://bugs.webkit.org/show_bug.cgi?id=91239

Patch by Ross Burton <ross.burton@intel.com> on 2013-09-14
Reviewed by Martin Robinson.

Don't run generate-gtkdoc on install if gtk-doc is disabled.

* GNUmakefile.am:

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@155758 268f45cc-cd09-0410-ab3c-d52691b4dbfc

Tools/ChangeLog
Tools/GNUmakefile.am

index 6911693..9e31983 100644 (file)
@@ -1,3 +1,14 @@
+2013-09-14  Ross Burton  <ross.burton@intel.com>
+
+        Uses gtk-doc tools even when --disable-gtk-doc passed
+        https://bugs.webkit.org/show_bug.cgi?id=91239
+
+        Reviewed by Martin Robinson.
+
+        Don't run generate-gtkdoc on install if gtk-doc is disabled.
+
+        * GNUmakefile.am:
+
 2013-09-14  Alberto Garcia  <berto@igalia.com>
 
         [GTK] Fails to compile if the build directory is in a different partition
index ed3f2f4..efa0ff9 100644 (file)
@@ -403,7 +403,9 @@ if ENABLE_WEBKIT2
          fi; \
        fi
 endif
+if ENABLE_GTK_DOC
        @$(AM_V_GEN) PKG_CONFIG=$(PKG_CONFIG) $(PYTHON) $(srcdir)/Tools/gtk/generate-gtkdoc --rebase --virtual-root=$${DESTDIR}
+endif
 
 uninstall-local:
 if ENABLE_WEBKIT1