From ef67c616e5195c08b9502869a5b8f7e8432e1593 Mon Sep 17 00:00:00 2001
From: bertot <bertot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 24 Apr 2001 10:32:29 +0000
Subject: adding binary files that are needed for the graphical user-interface
 pcoq

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1679 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 distrib/coq.spec | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/distrib/coq.spec b/distrib/coq.spec
index f7cde4b32..34954c6e4 100644
--- a/distrib/coq.spec
+++ b/distrib/coq.spec
@@ -60,6 +60,8 @@ fi
 /usr/bin/coqdep
 /usr/bin/gallina
 /usr/bin/coq_makefile
+/usr/bin/coq-interface
+/usr/bin/parser
 #/usr/bin/coq_searchisos.out
 /usr/bin/coqmktop
 #/usr/bin/coq2html
-- 
cgit v1.2.3