1 files changed, 8 insertions, 0 deletions
diff --git a/debian/coqide.install b/debian/coqide.install
new file mode 100644
index 00000000..c0189e2d
--- /dev/null
+++ b/debian/coqide.install
@@ -0,0 +1,8 @@
+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