The following commit has been merged in the master branch:
commit 3113f65a3dd4bbe1833dcf78fb21abd958dcdb04
Author: Stephane Glondu <[EMAIL PROTECTED]>
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
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
