# HG changeset patch
# User arpi
# Date 1032712628 0
# Node ID d772e0caac7ba9e01e8347a36879277a22c34ff5
# Parent  32c7ca9359b17df9a21bcc7cf5bffe532af933bd
put some comemnts into teh generated help_mp.h file

diff -r 32c7ca9359b1 -r d772e0caac7b configure
--- a/configure	Sun Sep 22 16:31:21 2002 +0000
+++ b/configure	Sun Sep 22 16:37:08 2002 +0000
@@ -4878,11 +4878,16 @@
 
 echo "Creating help_mp.h"
 cat > help_mp.h << EOF
+//
+// WARNING! This is a generated file. Do NOT edit.
+// See the help/ subdir for the editable files.
+//
 #include "$_mp_help"
 EOF
 
 if test $_mp_help != "help/help_mp-en.h"; then
   echo "Adding untranslated messages to help_mp.h"
+  echo '// untranslated messages from the english master-file:' >> help_mp.h
   help/help_diff.sh $_mp_help <help/help_mp-en.h >> help_mp.h
 fi