From dfb4e24431e95acd42e9a7097dcc2885b71d8373 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Fri, 5 Feb 1999 20:50:59 +0000 Subject: Respond to suggestion from "Albert" to add document titles to the list of files. Also added total page count and a note that comments should be directed to python-docs@python.org. --- Doc/tools/getpagecounts | 29 +++++++++++++++++++++++------ 1 file changed, 23 insertions(+), 6 deletions(-) diff --git a/Doc/tools/getpagecounts b/Doc/tools/getpagecounts index 7ede6b8..e701e94 100755 --- a/Doc/tools/getpagecounts +++ b/Doc/tools/getpagecounts @@ -6,18 +6,35 @@ cd `dirname $0`/.. PAPER=${PAPER:-letter} +TOTAL=0 +getpagecount() { + PAGECOUNT=`grep -c '^%%Page:' paper-$PAPER/$1.ps` + echo "$2 $1.ps ($PAGECOUNT pages)" + TOTAL=`expr $TOTAL + $PAGECOUNT` +} cat <