Clarified comment about the PS generation when using the all-pdf target.

diff --git a/Doc/Makefile b/Doc/Makefile
index abcf73b3be576fc3ff9f7c57d7db9ed0d63e6c94..9d915269c7f33495dc89504a83ca048a9f87c787 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -83,9 +83,9 @@ all-dvi: $(DVIFILES)
 all-pdf: $(PDFFILES)
 all-ps:         $(PSFILES)
 
-# This target gets both the PDF and PS files updated; the more specific
-# targets above don't ensure that both are done if the "alternate" rules
-# (using pdflatex) for PDF generation are used.
+# This target gets both the PDF and PS files updated; the all-pdf target
+# above doesn't ensure that both are done if the "alternate" rule (using
+# pdflatex) for PDF generation is used.
 #
 all-formats:  $(PSFILES) $(PDFFILES)