Clarified comment about the PS generation when using the all-pdf target.
diff --git a/Doc/Makefile b/Doc/Makefile
index abcf73b..9d91526 100644
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -83,9 +83,9 @@
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)