#! /bin/sh

cd help

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