From b8aacfe780eec86bc71eed562d38c7df46fa20be Mon Sep 17 00:00:00 2001
From: coq
Date: Thu, 13 May 2004 16:12:17 +0000
Subject: "comments only" commit.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5744 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/funind/tacinvutils.mli | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/contrib/funind/tacinvutils.mli b/contrib/funind/tacinvutils.mli
index 2fc37b2c9f..64b212130a 100644
--- a/contrib/funind/tacinvutils.mli
+++ b/contrib/funind/tacinvutils.mli
@@ -71,9 +71,10 @@ val expand_letins: constr -> constr
 
 val def_of_const: constr -> constr
 val name_of_const: constr -> string
+
 (*i
- Local Variables:
- compile-command: "make -k tacinvutils.cmi"
- End:
+ *** Local Variables: ***
+ *** compile-command: "make -C ../.. contrib/funind/tacinvutils.cmi" ***
+ *** End: ***
 i*)
 
-- 
cgit v1.2.3