diff configure @ 13703:06cd8401c498

Move help_mp.h generation to Makefile, so it's easier to maintain on help/*.h changes

--- a/configure	Wed Oct 20 14:20:07 2004 +0000
+++ b/configure	Wed Oct 20 14:23:33 2004 +0000
@@ -6328,6 +6328,7 @@
 EXTRA_INC = $_inc_extra $_inc_gtk
 OPTFLAGS = -I../libvo -I../../libvo $_inc_x11 $CFLAGS \$(EXTRA_INC)
 STRIPBINARIES = $_stripbinaries
+HELP_FILE = $_mp_help
 
 PRG = $_prg
 PRG_MENCODER = $_prg_mencoder
@@ -7117,23 +7118,6 @@
 
 #############################################################################
 
-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
-
-#############################################################################
-
 cat << EOF
 
 Config files successfully generated by ./configure !