From fcefefe71ba9b05fa30693775f6adcc36b03c4a6 Mon Sep 17 00:00:00 2001
From: Patrice Clement <monsieurp@gentoo.org>
Date: Sat, 25 Jun 2016 20:51:41 +0000
Subject: [PATCH] sci-mathematics/coq: Clean up old.

Package-Manager: portage-2.2.28
---
 .../coq-8.4_p5-do-not-install-revision.patch  | 19 -------------------
 .../coq/files/coq-8.4_p5-hevea.patch          | 11 -----------
 sci-mathematics/coq/files/coqide.desktop      |  9 ---------
 3 files changed, 39 deletions(-)
 delete mode 100644 sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch
 delete mode 100644 sci-mathematics/coq/files/coq-8.4_p5-hevea.patch
 delete mode 100644 sci-mathematics/coq/files/coqide.desktop

diff --git a/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch b/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch
deleted file mode 100644
index e97f4a165f87..000000000000
--- a/sci-mathematics/coq/files/coq-8.4_p5-do-not-install-revision.patch
+++ /dev/null
@@ -1,19 +0,0 @@
---- coq-8.4pl5-orig/Makefile.build	2014-10-22 19:30:53.000000000 +1100
-+++ coq-8.4pl5/Makefile.build	2015-02-15 12:06:48.044999959 +1100
-@@ -655,16 +655,12 @@
- # it with libraries
- 	-$(MKDIR) $(FULLCOQLIB)/plugins/micromega
- 	$(INSTALLBIN) $(CSDPCERT) $(FULLCOQLIB)/plugins/micromega
--	rm -f $(FULLCOQLIB)/revision
--	-$(INSTALLLIB) revision $(FULLCOQLIB)
- 
- install-library-light:
- 	$(MKDIR) $(FULLCOQLIB)
- 	$(INSTALLSH) $(FULLCOQLIB) $(LIBFILESLIGHT) $(INITPLUGINS)
- 	$(MKDIR) $(FULLCOQLIB)/states
- 	$(INSTALLLIB) states/*.coq $(FULLCOQLIB)/states
--	rm -f $(FULLCOQLIB)/revision
--	-$(INSTALLLIB) revision $(FULLCOQLIB)
- ifeq ($(BEST),opt)
- 	$(INSTALLSH)  $(FULLCOQLIB) $(INITPLUGINSOPT)
- endif
diff --git a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch b/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch
deleted file mode 100644
index c76f1dea8e11..000000000000
--- a/sci-mathematics/coq/files/coq-8.4_p5-hevea.patch
+++ /dev/null
@@ -1,11 +0,0 @@
---- coq-8.4pl5-orig/Makefile.doc	2014-10-22 19:30:53.000000000 +1100
-+++ coq-8.4pl5/Makefile.doc	2015-02-15 15:28:34.797911303 +1100
-@@ -148,7 +148,7 @@
- ######################################################################
- 
- $(INDEXURLS): $(INDEXES)
--	cat $< | grep li-indexenv | grep HREF | sed -e 's@.*<TT>\(.*\)</TT>.*, <A HREF="\(.*\)">.*@\1,\2@' > $@
-+	cat $< | grep li-indexenv | grep href | sed -e 's@.*>\([^<]*\)</span>.*, <a href="\([^"]*\)">.*@\1,\2@' > $@
- 
- 
- ######################################################################
diff --git a/sci-mathematics/coq/files/coqide.desktop b/sci-mathematics/coq/files/coqide.desktop
deleted file mode 100644
index cc8bb54e1ad1..000000000000
--- a/sci-mathematics/coq/files/coqide.desktop
+++ /dev/null
@@ -1,9 +0,0 @@
-[Desktop Entry]
-Comment=Coq integrated developpment environment
-Icon=/usr/lib/coq/ide/coq.png
-Exec=/usr/bin/coqide
-Name=CoqIDE
-GenericName=Coq IDE
-Terminal=false
-Type=Application
-Categories=Science;Math;
-- 
2.26.2