The file m5000web.tar.gz is a "gzipped tar file". The ".gz" extension stands for "Gnu Zip", which is a compression program available under linux. The ".tar" extension stands for "Tape ARchive", and it indicates that this file is a collection of files or directories that has been converted to a single file. In this instance, Monk's directory m5000web was converted to the single file m5000web.tar, and then compressed to m5000web.tar.gz. To reverse the procedure, place the file m5000web.tar.gz into a directory where you want your future copy of the directory m5000web. Then type:
gunzip m5000web.tar.gz
This will uncompress the file, leaving the file m5000web.tar in its place. Now type:
tar xvf m5000web.tar
This will create the directory m5000web within the directory where you are working without destroying the file m5000web.tar.
The directory m5000web consists of nineteen postscript files, spanning about 200 pages. These should be printed using double sided printing only! For double sided printing from EUCLID, type:
lpr -Pmathlp2 m5000_00.ps
to print the first file. Other files can be printed as they are needed.
(Note: File m5000_00.ps is the introduction, file m5000_01.ps consists of Chapters 1-3, and file m5000_N.ps is Chapter N+2 for N greater then 1.)