From 058c05ce14affba12eff11550016efaefc6a4747 Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 26 Mar 2009 12:26:52 +0000
Subject: ocamlbuild: coqide, coqchk, a bit of .vo

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

(limited to 'plugins')

diff --git a/plugins/_tags b/plugins/_tags
index a8291f6c8d..968b25bd24 100644
--- a/plugins/_tags
+++ b/plugins/_tags
@@ -6,9 +6,9 @@
 "interface/centaur.ml4": use_grammar
 "interface/debug_tac.ml4": use_grammar
 "quote/g_quote.ml4": use_grammar
-"subtac/equations.ml4": use_grammar
+"subtac/equations.ml4": use_grammar, use_extend
 "subtac/g_eterm.ml4": use_grammar
-"subtac/g_subtac.ml4": use_grammar
+"subtac/g_subtac.ml4": use_grammar, use_extend
 "rtauto/g_rtauto.ml4": use_grammar
 "xml/xmlentries.ml4": use_grammar
 "xml/dumptree.ml4": use_grammar
-- 
cgit v1.2.3