diff --git a/src/tools/pgcvslog b/src/tools/pgcvslog
index 36a621bc06..0a9d28d137 100755
--- a/src/tools/pgcvslog
+++ b/src/tools/pgcvslog
@@ -18,8 +18,13 @@
 # To find branch time, look for "branches:" tag in CVS commit logs
 # e.g. "branches:  1.398.4;" matches "REL8_0_STABLE: 1.398.0.4".
 #
-# Remove these:  TODO,v, TODO.html,v, FAQ,v, FAQ.html,v from logs
-# before processing
+# Remove these from the log file before processing to reduce the number
+# of unneeded log entries:
+#
+#	/cvsroot/pgsql/doc/TODO
+#	/cvsroot/pgsql/doc/FAQ
+#	/cvsroot/pgsql/doc/src/FAQ/TODO.html
+#	/cvsroot/pgsql/doc/src/FAQ/FAQ.html
 #
 
 if [ "X$1" == "X-h" ]