[arch-commits] Commit in webkit2gtk/trunk (PKGBUILD gtk-doc.diff)

[Jan Steffens]

    Date: Monday, May 7, 2018 @ 20:17:49
  Author: heftig
Revision: 323447

Fix doc install

Added:
  webkit2gtk/trunk/gtk-doc.diff
Modified:
  webkit2gtk/trunk/PKGBUILD

--------------+
 PKGBUILD     |    7 +++++--
 gtk-doc.diff |   16 ++++++++++++++++
 2 files changed, 21 insertions(+), 2 deletions(-)

Modified: PKGBUILD
===================================================================
--- PKGBUILD	2018-05-07 16:58:21 UTC (rev 323446)
+++ PKGBUILD	2018-05-07 20:17:49 UTC (rev 323447)
@@ -15,14 +15,17 @@
             'gst-plugins-base: free media decoding'
             'gst-plugins-good: media decoding'
             'gst-libav: nonfree media decoding')
-source=(https://webkitgtk.org/releases/webkitgtk-${pkgver}.tar.xz{,.asc})
+source=(https://webkitgtk.org/releases/webkitgtk-${pkgver}.tar.xz{,.asc}
+        gtk-doc.diff)
 sha256sums=('dffe93a241f03f1c73b369f4e323e4d8f12e39d33d5515948cbf454ca4b526e2'
-            'SKIP')
+            'SKIP'
+            '4f116b4508d4501498d1e1483555bc5d4e3f5504c5a2f3ec6a21c646b874cdb4')
 validpgpkeys=('D7FCF61CF9A2DEAB31D81BD3F3D322D0EC4582C3')
 
 prepare() {
   mkdir build
   cd webkitgtk-$pkgver
+  patch -Np1 -i ../gtk-doc.diff
   sed -i '1s/python$/&2/' Tools/gtk/generate-gtkdoc
 }
 

Added: gtk-doc.diff
===================================================================
--- gtk-doc.diff	                        (rev 0)
+++ gtk-doc.diff	2018-05-07 20:17:49 UTC (rev 323447)
@@ -0,0 +1,16 @@
+diff -u -r webkitgtk-2.20.2/Source/PlatformGTK.cmake webkitgtk-2.20.2-doc/Source/PlatformGTK.cmake
+--- webkitgtk-2.20.2/Source/PlatformGTK.cmake	2018-05-07 10:30:18.000000000 +0200
++++ webkitgtk-2.20.2-doc/Source/PlatformGTK.cmake	2018-05-07 18:03:44.333500803 +0200
+@@ -15,10 +15,10 @@
+ 
+ if (ENABLE_GTKDOC)
+     install(DIRECTORY ${CMAKE_BINARY_DIR}/Documentation/webkit2gtk-${WEBKITGTK_API_VERSION}/html/webkit2gtk-${WEBKITGTK_API_VERSION}
+-            DESTINATION "${CMAKE_INSTALL_DATADIR}/gtk-doc/html/webkit2gtk-${WEBKITGTK_API_VERSION}"
++            DESTINATION "${CMAKE_INSTALL_DATADIR}/gtk-doc/html"
+     )
+     install(DIRECTORY ${CMAKE_BINARY_DIR}/Documentation/webkitdomgtk-${WEBKITGTK_API_VERSION}/html/webkitdomgtk-${WEBKITGTK_API_VERSION}
+-            DESTINATION "${CMAKE_INSTALL_DATADIR}/gtk-doc/html/webkitdomgtk-${WEBKITGTK_API_VERSION}"
++            DESTINATION "${CMAKE_INSTALL_DATADIR}/gtk-doc/html"
+     )
+ endif ()
+