From 5acb9d528794b49a6d803aed9fdd17eedc8acb33 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=B6rg=20Frings-F=C3=BCrst?= Date: Mon, 19 Mar 2018 22:34:59 +0100 Subject: debian/control: Remove not longer used libwebkitgtk-1.0-0; remove unused patches --- debian/patches/0001-webkit.patch | 19 ------------------- 1 file changed, 19 deletions(-) delete mode 100644 debian/patches/0001-webkit.patch (limited to 'debian/patches/0001-webkit.patch') diff --git a/debian/patches/0001-webkit.patch b/debian/patches/0001-webkit.patch deleted file mode 100644 index 73338c1..0000000 --- a/debian/patches/0001-webkit.patch +++ /dev/null @@ -1,19 +0,0 @@ -Description: Change webkitgtk from 1 to 3.0.0 -Author: Jörg Frings-Fürst -Bug-Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=790221 -Last-Update: 2017-07-01 ---- -This patch header follows DEP-3: http://dep.debian.net/deps/dep3/ -Index: trunk/CMakeLists.txt -=================================================================== ---- trunk.orig/CMakeLists.txt -+++ trunk/CMakeLists.txt -@@ -65,7 +65,7 @@ ENDIF(WIN32 AND NOT XTRKCAD_USE_GTK) - IF(XTRKCAD_USE_GTK) - INCLUDE(FindPkgConfig) - PKG_CHECK_MODULES(GTK REQUIRED "gtk+-2.0") -- PKG_CHECK_MODULES(GTK_WEBKIT REQUIRED "webkit-1.0") -+ PKG_CHECK_MODULES(GTK_WEBKIT REQUIRED "webkitgtk-3.0") - ENDIF(XTRKCAD_USE_GTK) - - IF(XTRKCAD_USE_PACKAGEMAKER) -- cgit v1.2.3