# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 1003572030 0
# Node ID 1f20d08b9da5403b58725cefdffb06700c09ae3c
# Parent  11d3de809486f821a2f22551de1d1af8431d56df
(add-release-logs): Put the log entry in lispref, too.

diff -r 11d3de809486 -r 1f20d08b9da5 admin/admin.el
--- a/admin/admin.el	Sat Oct 20 05:55:56 2001 +0000
+++ b/admin/admin.el	Sat Oct 20 10:00:30 2001 +0000
@@ -55,8 +55,7 @@
 			(format-time-string "%Y-%m-%d")
 			(user-full-name) user-mail-address version)))
     (dolist (log logs)
-      (unless (or (string-match "/gnus/" log)
-		  (string-match "/lispref/" log))
+      (unless (string-match "/gnus/" log)
 	(find-file log)
 	(goto-char (point-min))
 	(insert entry)))))