Title: [111294] releases/WebKitGTK/webkit-1.8/Tools
Revision
111294
Author
[email protected]
Date
2012-03-19 18:35:52 -0700 (Mon, 19 Mar 2012)

Log Message

Merging r110296

Modified Paths

Diff

Modified: releases/WebKitGTK/webkit-1.8/Tools/ChangeLog (111293 => 111294)


--- releases/WebKitGTK/webkit-1.8/Tools/ChangeLog	2012-03-20 01:33:01 UTC (rev 111293)
+++ releases/WebKitGTK/webkit-1.8/Tools/ChangeLog	2012-03-20 01:35:52 UTC (rev 111294)
@@ -1,3 +1,12 @@
+2012-03-19  Ionut Biru  <[email protected]>
+
+        [BUILD] use detected python to run generate-gtkdoc
+        https://bugs.webkit.org/show_bug.cgi?id=80695
+
+        Reviewed by Gustavo Noronha Silva.
+
+        * GNUmakefile.am: Use $(PYTHON) instead of plain `python`
+
 2012-03-06  Sheriff Bot  <[email protected]>
 
         Unreviewed, rolling out r109760.

Modified: releases/WebKitGTK/webkit-1.8/Tools/GNUmakefile.am (111293 => 111294)


--- releases/WebKitGTK/webkit-1.8/Tools/GNUmakefile.am	2012-03-20 01:33:01 UTC (rev 111293)
+++ releases/WebKitGTK/webkit-1.8/Tools/GNUmakefile.am	2012-03-20 01:35:52 UTC (rev 111294)
@@ -326,7 +326,7 @@
 	  fi; \
 	fi
 endif
-	$(srcdir)/Tools/gtk/generate-gtkdoc --rebase --virtual-root=$${DESTDIR}
+	@(AM_V_GEN)$(PYTHON) $(srcdir)/Tools/gtk/generate-gtkdoc --rebase --virtual-root=$${DESTDIR}
 
 uninstall-local:
 	@DOC_MODULE_VERSION=`cat ./Documentation/webkitgtk/version.xml`; \
_______________________________________________
webkit-changes mailing list
[email protected]
http://lists.webkit.org/mailman/listinfo.cgi/webkit-changes

Reply via email to