diff options
| author | Paul Eggert | 1995-03-23 01:21:07 +0000 |
|---|---|---|
| committer | Paul Eggert | 1995-03-23 01:21:07 +0000 |
| commit | 4c952fd0fa695adbb4c816a41ef3b047dd4d7b57 (patch) | |
| tree | 372e73397009bad0f68a63566cd9ab0eaa58f842 /lib-src | |
| parent | 148d2a8dec43153149ce6561ac97f7a2d56fd3ee (diff) | |
| download | emacs-4c952fd0fa695adbb4c816a41ef3b047dd4d7b57.tar.gz emacs-4c952fd0fa695adbb4c816a41ef3b047dd4d7b57.zip | |
(output_authors): Replace /[/]/ by /[\/]/, for portability to mawk and nawk.
Diffstat (limited to 'lib-src')
| -rwxr-xr-x | lib-src/rcs2log | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib-src/rcs2log b/lib-src/rcs2log index d5b8186e97e..831010e77c7 100755 --- a/lib-src/rcs2log +++ b/lib-src/rcs2log | |||
| @@ -12,7 +12,7 @@ | |||
| 12 | 12 | ||
| 13 | # Author: Paul Eggert <eggert@twinsun.com> | 13 | # Author: Paul Eggert <eggert@twinsun.com> |
| 14 | 14 | ||
| 15 | # $Id: rcs2log,v 1.19 1995/03/21 05:37:42 eggert Exp eggert $ | 15 | # $Id: rcs2log,v 1.20 1995/03/21 23:14:41 eggert Exp eggert $ |
| 16 | 16 | ||
| 17 | # Copyright 1992, 1993, 1994, 1995 Free Software Foundation, Inc. | 17 | # Copyright 1992, 1993, 1994, 1995 Free Software Foundation, Inc. |
| 18 | 18 | ||
| @@ -273,7 +273,7 @@ $logins | |||
| 273 | EOF | 273 | EOF |
| 274 | esac | 274 | esac |
| 275 | output_authors='/^date: / { | 275 | output_authors='/^date: / { |
| 276 | if ($2 ~ /^[0-9]*[-/][0-9][0-9][-/][0-9][0-9]$/ && $3 ~ /^[0-9][0-9]:[0-9][0-9]:[0-9][0-9][-+0-9]*;$/ && $4 == "author:" && $5 ~ /^[^;]*;$/) { | 276 | if ($2 ~ /^[0-9]*[-\/][0-9][0-9][-\/][0-9][0-9]$/ && $3 ~ /^[0-9][0-9]:[0-9][0-9]:[0-9][0-9][-+0-9]*;$/ && $4 == "author:" && $5 ~ /^[^;]*;$/) { |
| 277 | print substr($5, 1, length($5)-1) | 277 | print substr($5, 1, length($5)-1) |
| 278 | } | 278 | } |
| 279 | }' | 279 | }' |