1 files changed, 1 insertions, 0 deletions
diff --git a/debian/coq.dirs.in b/debian/coq.dirs.in
index 7642db56..5c2ef467 100644
--- a/debian/coq.dirs.in
+++ b/debian/coq.dirs.in
@@ -1,5 +1,6 @@
 usr/bin
 usr/lib/coq/contrib/micromega
+usr/share/coq
 usr/share/man/man1
 usr/share/pixmaps
 usr/share/texmf/tex/latex/misc