diff --git a/Doc/tools/getpagecounts b/Doc/tools/getpagecounts new file mode 100755 index 00000000000..46d3a138083 --- /dev/null +++ b/Doc/tools/getpagecounts @@ -0,0 +1,23 @@ +#! /bin/sh +# -*- Ksh -*- +# +# Generate a page count report of the PostScript version of the manuals. + +cd `dirname $0`/.. + +PAPER=${PAPER:-letter} + + +cat <