diff options
| -rw-r--r-- | Doc/paper-letter/Makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Doc/paper-letter/Makefile b/Doc/paper-letter/Makefile index e79d93d..e193bc9 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 |