1 files changed, 0 insertions, 11 deletions
diff --git a/math/coq/files/patch-Makefile.install b/math/coq/files/patch-Makefile.install
deleted file mode 100644
index 6597b7133aa0..000000000000
--- a/math/coq/files/patch-Makefile.install
+++ /dev/null
@@ -1,11 +0,0 @@
---- Makefile.install.orig	2016-12-08 15:13:52 UTC
-+++ Makefile.install
-@@ -29,7 +29,7 @@ install-doc-no:
- .PHONY: install install-doc-all install-doc-no
- 
- #These variables are intended to be set by the caller to make
--#COQINSTALLPREFIX=
-+COQINSTALLPREFIX=${DESTDIR}
- #OLDROOT=
- 
-   # Can be changed for a local installation (to make packages).