Simplify command that extracts the number of pages from a PostScript
file; use "grep -c" instead of "grep | wc -l | cut ... | tr ...".
diff --git a/Doc/tools/getpagecounts b/Doc/tools/getpagecounts
index 46d3a13..7ede6b8 100755
--- a/Doc/tools/getpagecounts
+++ b/Doc/tools/getpagecounts
@@ -18,6 +18,6 @@
for PART in api ext lib mac ref tut ; do
FILE=paper-$PAPER/$PART.ps
- PAGECOUNT=`grep '^%%Page:' $FILE | wc -l | cut -f 1 | tr -d ' '`
+ PAGECOUNT=`grep -c '^%%Page:' $FILE`
echo " $PART.ps -- $PAGECOUNT pages"
done