#! /bin/sh # -*- Ksh -*- # # Generate a page count report of the PostScript version of the manuals. TOTAL=0 getpagecount() { PAGECOUNT=`grep -c '^%%Page:' $1.ps` echo "$2 $1.ps ($PAGECOUNT pages)" TOTAL=`expr $TOTAL + $PAGECOUNT` } cat <