From 3a849429dac4da9acf8538ee4a888ca53b4811cb Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>
Date: Mon, 11 Sep 2017 13:54:58 +0200
Subject: Remove unneeded fix for BZ#1715

It hasn't been necessary since
6aad0d9cd2104b5343ed7c831a4ad0bbe34007cb introduced $(INSTALLLIB)
---
 Makefile.install | 1 -
 1 file changed, 1 deletion(-)

(limited to 'Makefile.install')

diff --git a/Makefile.install b/Makefile.install
index 85ffc93d5..4800f8f3f 100644
--- a/Makefile.install
+++ b/Makefile.install
@@ -87,7 +87,6 @@ install-tools:
 	$(MKDIR) $(FULLBINDIR)
 	# recopie des fichiers de style pour coqide
 	$(MKDIR) $(FULLCOQLIB)/tools/coqdoc
-	touch $(FULLCOQLIB)/tools/coqdoc/coqdoc.sty $(FULLCOQLIB)/tools/coqdoc/coqdoc.css # to have the mode according to umask (bug #1715)
 	$(INSTALLLIB) tools/coqdoc/coqdoc.css tools/coqdoc/coqdoc.sty $(FULLCOQLIB)/tools/coqdoc
 	$(INSTALLBIN) $(TOOLS) $(FULLBINDIR)
 
-- 
cgit v1.2.3