From 079d553b9e61b839744fb2688bc842f341f1501e Mon Sep 17 00:00:00 2001
From: Ganesh Ajjanagadde <gajjanagadde@gmail.com>
Date: Thu, 8 Oct 2015 09:01:20 -0400
Subject: [PATCH] configure: add message to avoid manual modification of
 config.texi

Signed-off-by: Ganesh Ajjanagadde <gajjanagadde@gmail.com>
---
 configure | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure b/configure
index 43d1bedc6d1..98cf4fa77ee 100755
--- a/configure
+++ b/configure
@@ -6221,7 +6221,7 @@ enabled getenv || echo "#define getenv(x) NULL" >> $TMPH
 mkdir -p doc
 mkdir -p tests
 mkdir -p tests/api
-echo "@c auto-generated by configure" > doc/config.texi
+echo "@c auto-generated by configure - do not modify! " > doc/config.texi
 
 print_config ARCH_   "$config_files" $ARCH_LIST
 print_config HAVE_   "$config_files" $HAVE_LIST
-- 
GitLab