#!/bin/sh -
# @(#)(c) ExNet 1988--1990  printeverything.sh 1.5@(#) 90/08/06 #
# (cd ~/spec; make docfromscratch)
/usr/5bin/banner Start | lpr -h

for file in `ls -1r ???.dvi`;
	do
		echo Printing $file...
		lpr -d -h -4 rev $file
		sleep 5
	done
if [ -f labelswrong.log ]; then
	lpr -h labelswrong.log
fi

/usr/5bin/banner End | lpr -h
