[Pkg-ocaml-maint-commits] [SCM] coq packaging branch, master, updated. debian/8.1.pl3+dfsg-1-26-gcd46e5d

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 3113f65a3dd4bbe1833dcf78fb21abd958dcdb04
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 28 16:00:07 2008 +0200

    ide/index_urls.txt is not there anymore

diff --git a/debian/rules b/debian/rules
index 1dc43f9..44dac55 100755
--- a/debian/rules
+++ b/debian/rules
@@ -96,7 +96,6 @@ install: build
 	cp debian/coq.xpm debian/coqide/usr/share/pixmaps/coqide.xpm
 	cp debian/coqide.desktop debian/coqide/usr/share/applications
 
-	cp ide/index_urls.txt debian/coqide/usr/lib/coq/ide/index_urls.txt
 	if [ -e opt-stamp ]; then \
 		cp debian/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1; \
 		cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.opt.1; \

-- 
coq packaging