added a message advising to use configure option than editing manually

diff --git a/Makefile.in b/Makefile.in
index dd6c9d33c347fc5b580e672a548cf6dedae1a26c..971f54a7cc273aa9d608cfa41d3f742a7612f9d7 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -4,7 +4,13 @@
 
 # @configure_input@
 
-# $Id: Makefile.in,v 1.37 2000-09-15 20:17:42 thib Exp $
+# $Id: Makefile.in,v 1.38 2000-09-16 12:35:58 thib Exp $
+
+# The following should not be edited manually (use configure options)
+# If you must do it, BEWARE : some of the following is also defined
+# in config.h, so you must modify config.h AND Makefile in order
+# to set the same values in the two files.
+
 
 # Where should we install it ?
 prefix         = @prefix@