1 files changed, 5 insertions, 0 deletions
diff --git a/debian/coqide.dirs b/debian/coqide.dirs
new file mode 100644
index 00000000..bf32ae9c
--- /dev/null
+++ b/debian/coqide.dirs
@@ -0,0 +1,5 @@
+usr/lib/coq/ide
+usr/share/doc/coqide
+usr/share/applications
+usr/share/man/man1
+usr/share/pixmaps