How to make maps
We have a script to make random maps and a way to make
maps of your very own. To get the scripts and examples,
cp /home/student3/gjkaiser/maps/ to somewhere in your
account. There is a README.map which should be more
helpful than this web page.