
The following command should make a GVE distribution tape.
Replace "/dev/whatever_youre_using" with the device name of
the tape drive, e.g., "/dev/rst1".
Replace the_directory_containing_HOW_TO_MAKE_TAPE with the name of the
directory containing the file you are now reading.

#!/bin/sh

gvedir=the_directory_containing_HOW_TO_MAKE_TAPE

make tape GVEDIR=$gvedir						  \
          AKCL=akcl							  \
          PLATFORMS=AKCL						  \
          TOOLSDIR=$gvedir/tools					  \
          MAKEFILE_DEFAULTS_FILE=$gvedir/system/newest/Makefile-defaults  \
          ETAGS=etags							  \
          GNU_EMACS=emacs						  \
          TARFILE=/dev/whatever_youre_using

