From c19ff1fd47adef6a1171673b4789c7e6d6f3798c Mon Sep 17 00:00:00 2001
From: Omar Vega Ramos <ovruni@gnu.org.pe>
Date: Thu, 15 Mar 2018 20:58:48 -0500
Subject: Removing nonprism/webkitgtk

---
 nonprism/webkitgtk/webkitgtk.install | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100644 nonprism/webkitgtk/webkitgtk.install

(limited to 'nonprism/webkitgtk/webkitgtk.install')

diff --git a/nonprism/webkitgtk/webkitgtk.install b/nonprism/webkitgtk/webkitgtk.install
deleted file mode 100644
index 245d07b19..000000000
--- a/nonprism/webkitgtk/webkitgtk.install
+++ /dev/null
@@ -1,14 +0,0 @@
-post_install() {
-  post_upgrade $1 0
-}
-
-post_upgrade() {
-  if (( $(vercmp $2 2.4.11-4) < 0)); then
-    cat <<END
-
-  > WARNING: WebKitGTK+ 2.4 is known to have many security vulnerabilities that
-             will NOT be fixed. Avoid browsing with it.
-
-END
-  fi
-}
-- 
cgit v1.2.3