mirror of
				https://github.com/python/cpython.git
				synced 2025-10-31 02:15:10 +00:00 
			
		
		
		
	Make this simpler; don't care about the paper size. Require that the
files exist in the current directory. Add "Documenting Python" to the list of documents listed.
This commit is contained in:
		
							parent
							
								
									a0fec1637b
								
							
						
					
					
						commit
						e3fd1064de
					
				
					 1 changed files with 2 additions and 4 deletions
				
			
		|  | @ -3,13 +3,10 @@ | ||||||
| # | # | ||||||
| # Generate a page count report of the PostScript version of the manuals. | # Generate a page count report of the PostScript version of the manuals. | ||||||
| 
 | 
 | ||||||
| cd `dirname $0`/.. |  | ||||||
| 
 |  | ||||||
| PAPER=${PAPER:-letter} |  | ||||||
| TOTAL=0 | TOTAL=0 | ||||||
| 
 | 
 | ||||||
| getpagecount() { | getpagecount() { | ||||||
|     PAGECOUNT=`grep -c '^%%Page:' paper-$PAPER/$1.ps` |     PAGECOUNT=`grep -c '^%%Page:' $1.ps` | ||||||
|     echo "$2    $1.ps ($PAGECOUNT pages)" |     echo "$2    $1.ps ($PAGECOUNT pages)" | ||||||
|     TOTAL=`expr $TOTAL + $PAGECOUNT` |     TOTAL=`expr $TOTAL + $PAGECOUNT` | ||||||
| } | } | ||||||
|  | @ -27,6 +24,7 @@ getpagecount lib "Python Library Reference                      " | ||||||
| getpagecount mac "Macintosh Module Reference                    " | getpagecount mac "Macintosh Module Reference                    " | ||||||
| getpagecount ref "Python Reference Manual                       " | getpagecount ref "Python Reference Manual                       " | ||||||
| getpagecount tut "Python Tutorial                               " | getpagecount tut "Python Tutorial                               " | ||||||
|  | getpagecount doc "Documenting Python                            " | ||||||
| 
 | 
 | ||||||
| echo | echo | ||||||
| echo "  Total page count:   $TOTAL" | echo "  Total page count:   $TOTAL" | ||||||
|  |  | ||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue
	
	 Fred Drake
						Fred Drake