1 files changed, 0 insertions, 2 deletions
diff --git a/debian/coq.install.in b/debian/coq.install.in
index d5fe3367..8c7af0c5 100644
--- a/debian/coq.install.in
+++ b/debian/coq.install.in
@@ -7,7 +7,6 @@ usr/bin/coq_makefile*
 usr/bin/coq-tex*
 usr/bin/coqtop*
 usr/bin/coqwc*
-usr/bin/gallina*
 usr/bin/coqworkmgr*
 usr/lib/coq/plugins/micromega/csdpcert
 usr/lib/coq/tools/CoqMakefile.in
@@ -24,7 +23,6 @@ usr/share/man/man1/coq_makefile*
 usr/share/man/man1/coq-tex*
 usr/share/man/man1/coqtop*
 usr/share/man/man1/coqwc*
-usr/share/man/man1/gallina*
 usr/share/texmf/tex/latex/misc/coqdoc.sty
 debian/coq.xpm                          usr/share/pixmaps
 debian/coqvars.mk                       usr/share/coq