diff options
| -rwxr-xr-x | etc/make-ChangeLogs | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/etc/make-ChangeLogs b/etc/make-ChangeLogs deleted file mode 100755 index 13a2c520..00000000 --- a/etc/make-ChangeLogs +++ /dev/null @@ -1,16 +0,0 @@ -#! /bin/sh - -for dir in . po src doc; do - ( - cd $dir && rcs2log -r -l \ - -u 'akim Akim Demaille akim@epita.fr' \ - -u 'djm David J. MacKenzie djm@gnu.org' \ - -u 'eggert Paul Eggert eggert@gnu.org' \ - -u 'friedman Noah Friedman friedman@gnu.org' \ - -u 'hag Daniel Hagerty hag@gnu.org' \ - -u 'jthilo Jesse Thilo jthilo@gnu.org' \ - -u 'meyering Jim Meyering meyering@gnu.org' \ - -u 'rms Richard Stallman rms@gnu.org' \ - | sed -e 's,/opt/cvs/bison/bison/,,g' > ChangeLog - ) -done |