aboutsummaryrefslogtreecommitdiffstats
path: root/lib-src
diff options
context:
space:
mode:
authorPaul Eggert1992-05-08 21:45:00 +0000
committerPaul Eggert1992-05-08 21:45:00 +0000
commit19ed208b56cf422800d2150fd4402953575ad054 (patch)
tree82ed65673365143eecd56b1805bc6af64bc3bc8b /lib-src
parentfe99283db44fbc7d0df98bd407441ec225ca1f47 (diff)
downloademacs-19ed208b56cf422800d2150fd4402953575ad054.tar.gz
emacs-19ed208b56cf422800d2150fd4402953575ad054.zip
Ignore log messages that start with `#'.
Diffstat (limited to 'lib-src')
-rwxr-xr-xlib-src/rcs2log16
1 files changed, 12 insertions, 4 deletions
diff --git a/lib-src/rcs2log b/lib-src/rcs2log
index 9869b12ff0d..da1efdaa1b6 100755
--- a/lib-src/rcs2log
+++ b/lib-src/rcs2log
@@ -2,12 +2,15 @@
2 2
3# RCS to ChangeLog generator 3# RCS to ChangeLog generator
4 4
5# $Id: rcs2log,v 1.4 1992/03/21 05:58:05 eggert Exp eggert $ 5# $Id: rcs2log,v 1.5 1992/04/01 08:57:55 eggert Exp eggert $
6 6
7# Generate a change log prefix from RCS/* and the existing ChangeLog (if any). 7# Generate a change log prefix from RCS/* and the existing ChangeLog (if any).
8# Output the new prefix to standard output. 8# Output the new prefix to standard output.
9# You can edit this prefix by hand, and then prepend it to ChangeLog. 9# You can edit this prefix by hand, and then prepend it to ChangeLog.
10 10
11# Ignore log entries that start with `#'.
12# Clump together log entries that start with `{topic} ',
13# where `topic' contains neither white space nor `}'.
11 14
12# Parse options. 15# Parse options.
13 16
@@ -150,8 +153,8 @@ awk <$rlogout '
150 printf "%s %s %s %s \r", filename, $2, time, author 153 printf "%s %s %s %s \r", filename, $2, time, author
151 next 154 next
152 } 155 }
153 if ($0 ~ /^(-----------*|===========*)/) { print ""; next } 156 if ($0 ~ /^(-----------*|===========*)$/) { print ""; next }
154 { printf "%s\r", $0 } 157 printf "%s\r", $0
155 } 158 }
156' | 159' |
157 160
@@ -201,8 +204,13 @@ awk '
201 mo[8]=243; mo[9]=273; mo[10]=304; mo[11]=334 204 mo[8]=243; mo[9]=273; mo[10]=304; mo[11]=334
202 mo[12]=365 205 mo[12]=365
203 } 206 }
207
204 { 208 {
205 newlog = substr($0, 1 + index($0, "\r")) 209 newlog = substr($0, 1 + index($0, "\r"))
210
211 # Ignore log entries prefixed by "#".
212 if (newlog ~ /^#/) { next }
213
206 if (Log != newlog || date != $2 || author != $4) { 214 if (Log != newlog || date != $2 || author != $4) {
207 215
208 # The previous log and this log differ. 216 # The previous log and this log differ.
@@ -217,7 +225,7 @@ awk '
217 newclumpname = "" 225 newclumpname = ""
218 sep = "\n" 226 sep = "\n"
219 if (date == "") sep = "" 227 if (date == "") sep = ""
220 if (newlog ~ /^{[^ }]+}[ ]/) { 228 if (newlog ~ /^{[^ }]*}[ ]/) {
221 i = index(newlog, "}") 229 i = index(newlog, "}")
222 newclumpname = substr(newlog, 1, i) 230 newclumpname = substr(newlog, 1, i)
223 while (substr(newlog, i+1) ~ /^[ ]/) i++ 231 while (substr(newlog, i+1) ~ /^[ ]/) i++