diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile index e79d93d844a..e193bc92bc8 100644 --- 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