From 7eeb22bff4101b1c57e90ca323ecc29e4604076a Mon Sep 17 00:00:00 2001
From: bertot
Date: Fri, 20 Apr 2001 14:48:47 +0000
Subject: the file vernacrc, that is necessary to the graphical user-interface
 pcoq was not installed.

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

diff --git a/Makefile b/Makefile
index 32de1f46bf..1102f670c4 100644
--- a/Makefile
+++ b/Makefile
@@ -460,7 +460,7 @@ FIELDVO = contrib/field/Field_Compl.vo     contrib/field/Field_Theory.vo \
 
 XMLVO = contrib/xml/Xml.vo
 
-INTERFACEV0 = contrib/interface/Centaur.vo
+INTERFACEV0 = contrib/interface/Centaur.vo contrib/interface/vernacrc
 
 contrib/interface/Centaur.vo: contrib/interface/Centaur.v $(INTERFACE)
 	$(COQC) -boot -byte  $(COQINCLUDES) $<
-- 
cgit v1.2.3