This is a shell executable file created by one of the script makers make_scriptT, etc.
rm -f 001.OOT /usr/local/bin/LITHOS < 001.INN > 001.OOT cp LMRK_DISPLAY1.pgm ./TESTFILES/001.pgm cp tmpl.pgm ./TESTFILES1/001.pgm rm -f 002.OOT /usr/local/bin/LITHOS < 002.INN > 002.OOT cp LMRK_DISPLAY1.pgm ./TESTFILES/002.pgm cp tmpl.pgm ./TESTFILES1/002.pgm rm -f 003.OOT /usr/local/bin/LITHOS < 003.INN > 003.OOT cp LMRK_DISPLAY1.pgm ./TESTFILES/003.pgm cp tmpl.pgm ./TESTFILES1/003.pgm ...