#! /bin/sh

majorrelease=`sed -e 's,\..*,,' ../VERSION`

cd help
if ! egrep "$majorrelease" introduction > /dev/null
then	echo "wrong VERSION information in help section 'introduction'" >&2
	exit -1
fi

separate=false
for help in introduction keyboard function-keys menu commands
do
	if $separate
	then	echo
	fi
	separate=true
	echo MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
	echo "	mined help topic '$help'"
	echo mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm
	echo
	cat $help
	echo
	echo mmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmmm
	echo "	end mined help topic '$help'"
	echo MMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMMM
done
