diff --git a/Doc/tools/getpagecounts b/Doc/tools/getpagecounts index f3596375df9..ef14053a69f 100755 --- a/Doc/tools/getpagecounts +++ b/Doc/tools/getpagecounts @@ -1,38 +1,73 @@ -#! /bin/sh -# -*- Ksh -*- -# -# Generate a page count report of the PostScript version of the manuals. +#! /usr/bin/env python +# -*- Python -*- -TOTAL=0 +"""Generate a page count report of the PostScript version of the manuals.""" -getpagecount() { - PAGECOUNT=`grep -c '^%%Page:' $1.ps` - echo "$2 $1.ps ($PAGECOUNT pages)" - TOTAL=`expr $TOTAL + $PAGECOUNT` -} +__version__ = '$Revision$' -cat <