#! /bin/sh

# glue the seperate menu data files into one C file

cat << 'EOF'
/* menu_data.c - data defining menus (automatically generated - don't edit) */

/*  Copyright 1991 Mark Russell, University of Kent at Canterbury.
 *
 *  You can do what you like with this source code as long as
 *  you don't try to make money out of it and you include an
 *  unaltered copy of this message (including the copyright).
 */

char ups_menu_data_c_sccsid[] = "%W% %G%";

#include <stdio.h>
#include <local/wn.h>
#include <local/menu3.h>

EOF

for file
do
	name=`expr $file : '\(.*\).c'`
	echo
	echo
	echo "/* --- Cut here for $file --- */"
	sed -e '/#include/d' -e "s/MM/${name}_MM/g" $file
done
