From b0f53dde478905a69982948d69eab2f025c8b14a Mon Sep 17 00:00:00 2001
From: lmamane
Date: Wed, 11 Feb 2009 09:59:09 +0000
Subject: Document how FIND_VCS_CLAUSE has to be used

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index be3e6054f9..033762128f 100644
--- a/Makefile
+++ b/Makefile
@@ -24,6 +24,8 @@
 # by Emacs' next-error.
 ###########################################################################
 
+# !! Before using FIND_VCS_CLAUSE, please read how you should in the !!
+# !! FIND_VCS_CLAUSE section of dev/doc/build-system.dev.txt         !!
 export FIND_VCS_CLAUSE:='(' \
   -name '{arch}' -or \
   -name '.svn' -or \
-- 
cgit v1.2.3