Generate changelog for HTML files.

diff --git a/etc/update-rcs-log b/etc/update-rcs-log
index 2cc41ad9b6923c26b58551bf35fe9eaa58a24419..dfb42e9293fecef2b5c933acdc8fcceb396dec79 100755 (executable)
--- a/etc/update-rcs-log
+++ b/etc/update-rcs-log
@@ -10,6 +10,7 @@ exec > /scheme/etc/update-rcs-log.out 2>&1
 export PATH="/usr/local/bin:${PATH}"
 
 GOPTS_SCHEME="-d :pserver:anoncvs@subversions.gnu.org:/cvsroot/mit-scheme"
+GOPTS_HTML="-d :pserver:anoncvs@subversions.gnu.org:/webcvs"
 UM="/scheme/v7/src/etc/usermap"
 O="ChangeLog"
 N="${O}.new"
@@ -29,10 +30,11 @@ generate_log_gopts ()
 }
 
 generate_log_gopts /scheme/v7/doc "${GOPTS_SCHEME}"
-generate_log_gopts /scheme/v7/html "${GOPTS_SCHEME}"
 generate_log_gopts /scheme/v7/src "${GOPTS_SCHEME}"
 generate_log_gopts /scheme/etc "${GOPTS_SCHEME}"
 
+generate_log_gopts /scheme/v7/html "${GOPTS_HTML}"
+
 generate_log ()
 {
     cd "${1}"