1 files changed, 0 insertions, 8 deletions
diff --git a/debian/coqide.install b/debian/coqide.install
deleted file mode 100644
index c0189e2d..00000000
--- a/debian/coqide.install
+++ /dev/null
@@ -1,8 +0,0 @@
-usr/bin/coqide*
-usr/share/coq/coq.png
-usr/share/coq/*.lang
-usr/share/coq/*_style.xml
-usr/share/doc/coq/FAQ-CoqIde usr/share/doc/coqide
-usr/share/man/man1/coqide*
-usr/lib/coq/toploop/coqidetop.*
-debian/coqide.desktop    usr/share/applications