From 6c4062ca13e6fb9e7d2dc93c70b545ccb22575de Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Mon, 18 Jun 2018 16:53:54 +0000 Subject: Archive the `gallina` tool --- Makefile.install | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.install') diff --git a/Makefile.install b/Makefile.install index 010e35d42..63a1b8b5e 100644 --- a/Makefile.install +++ b/Makefile.install @@ -138,7 +138,7 @@ endif install-coq-info: install-coq-manpages install-emacs install-latex -MANPAGES:=man/coq-tex.1 man/coqdep.1 man/gallina.1 \ +MANPAGES:=man/coq-tex.1 man/coqdep.1 \ man/coqc.1 man/coqtop.1 man/coqtop.byte.1 man/coqtop.opt.1 \ man/coqwc.1 man/coqdoc.1 man/coqide.1 \ man/coq_makefile.1 man/coqchk.1 -- cgit v1.2.3