Target to generate a little README file with the page counts of the PostScript

files.

diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile
index e79d93d844a1a66b9add909feb61a0f349ed5b34..e193bc92bc886002e5ed4e932ce631a02b0cfe32 100644 (file)
--- a/Doc/paper-letter/Makefile
+++ b/Doc/paper-letter/Makefile
@@ -71,6 +71,10 @@ pdf: $(PDFFILES)
 ps:    $(PSFILES)
 
 
+README:        $(PSFILES)
+       $(TOOLSDIR)/getpagecounts >$@
+
+
 # Python Library Reference
 lib.dvi: $(TOOLSDIR)/indfix.py $(LIBFILES)
        $(TOOLSDIR)/newind.py >$*.ind