diff options
| -rwxr-xr-x | Doc/tools/getpagecounts | 2 |
1 files changed, 1 insertions, 1 deletions
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 @@ EOF 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 |