From 41797f79e59eee357d6bcce7385021c680b5de52 Mon Sep 17 00:00:00 2001
From: coq
Date: Wed, 22 Feb 2006 17:37:43 +0000
Subject: Add vernacular file for subtac

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 5a443345df..882276f3f3 100644
--- a/Makefile
+++ b/Makefile
@@ -994,7 +994,7 @@ JPROVERVO=
 
 CCVO=
 
-SUBTACVO=
+SUBTACVO=contrib/subtac/FixSub.vo
 
 RTAUTOVO = \
  contrib/rtauto/Bintree.vo contrib/rtauto/Rtauto.vo
-- 
cgit v1.2.3