Mercurial > hg > octave-shane > gnulib-hg
annotate config/srclist-update @ 17256:12cc1647eb5b
autoupdate
author | Karl Berry <karl@freefriends.org> |
---|---|
date | Tue, 01 Jan 2013 16:01:39 -0800 |
parents | e542fd46ad6f |
children | 6e09d76e533b |
rev | line source |
---|---|
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
1 #!/bin/sh |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
2 # Check for files in directory $1 being up to date, according to the |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
3 # list on stdin. Don't actually make any changes, just show the diffs. |
4025 | 4 # |
17249
e542fd46ad6f
maint: update all copyright year number ranges
Eric Blake <eblake@redhat.com>
parents:
16201
diff
changeset
|
5 # Copyright (C) 2002-2003, 2005, 2007-2013 Free Software Foundation, Inc. |
4534
cd675f511805
Add first line of copyright notice -- the most important part!
Paul Eggert <eggert@cs.ucla.edu>
parents:
4533
diff
changeset
|
6 # |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
7 # This program is free software: you can redistribute it and/or modify |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
8 # it under the terms of the GNU General Public License as published by |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
9 # the Free Software Foundation; either version 3 of the License, or |
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
10 # (at your option) any later version. |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
11 # |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
12 # This program is distributed in the hope that it will be useful, |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
13 # but WITHOUT ANY WARRANTY; without even the implied warranty of |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
15 # GNU General Public License for more details. |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
16 # |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
17 # You should have received a copy of the GNU General Public License |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
18 # along with this program. If not, see <http://www.gnu.org/licenses/>. |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
19 |
5835 | 20 # Originally written by Karl Berry. |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
21 |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
22 |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
23 if test -n "$1"; then |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
24 cd "$1" || exit 1 |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
25 fi |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
26 |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
27 verbose=false |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
28 #chicken="echo (would)" |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
29 |
4039
7c15210f0e35
copy strdup.c from libc again.
Karl Berry <karl@freefriends.org>
parents:
4025
diff
changeset
|
30 : ${TMPDIR=/tmp} |
7c15210f0e35
copy strdup.c from libc again.
Karl Berry <karl@freefriends.org>
parents:
4025
diff
changeset
|
31 dsttmp=$TMPDIR/srclist.dst |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
32 |
5911
cd73797c05ec
need terminating */ for argz.c; what about others?
Karl Berry <karl@freefriends.org>
parents:
5853
diff
changeset
|
33 # Source `dirname $0`/srclistvars.sh first, if it exists. |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
34 mydir=`dirname $0` |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
35 test -r $mydir/srclistvars.sh && . $mydir/srclistvars.sh |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
36 |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
37 |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
38 # |
4536
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
39 # sed command to fix the license to be GPL. |
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
40 fixlicense=' |
4554
5a1e7c84e9cd
Use three spaces, rather than tab, after '#'
Paul Eggert <eggert@cs.ucla.edu>
parents:
4536
diff
changeset
|
41 /^[[:space:]]*#[[:space:]]*Th[ei][ s].* is free software/,/^[[:space:]]*#.*USA\./c\ |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
42 # This program is free software: you can redistribute it and/or modify\ |
4554
5a1e7c84e9cd
Use three spaces, rather than tab, after '#'
Paul Eggert <eggert@cs.ucla.edu>
parents:
4536
diff
changeset
|
43 # it under the terms of the GNU General Public License as published by\ |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
44 # the Free Software Foundation; either version 3 of the License, or\ |
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
45 # (at your option) any later version.\ |
4440
e58a1c05a6ba
Update gettext source files from gettext automatically, using srclist-update.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4420
diff
changeset
|
46 #\ |
4554
5a1e7c84e9cd
Use three spaces, rather than tab, after '#'
Paul Eggert <eggert@cs.ucla.edu>
parents:
4536
diff
changeset
|
47 # This program is distributed in the hope that it will be useful,\ |
5a1e7c84e9cd
Use three spaces, rather than tab, after '#'
Paul Eggert <eggert@cs.ucla.edu>
parents:
4536
diff
changeset
|
48 # but WITHOUT ANY WARRANTY; without even the implied warranty of\ |
5a1e7c84e9cd
Use three spaces, rather than tab, after '#'
Paul Eggert <eggert@cs.ucla.edu>
parents:
4536
diff
changeset
|
49 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\ |
5a1e7c84e9cd
Use three spaces, rather than tab, after '#'
Paul Eggert <eggert@cs.ucla.edu>
parents:
4536
diff
changeset
|
50 # GNU General Public License for more details.\ |
4440
e58a1c05a6ba
Update gettext source files from gettext automatically, using srclist-update.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4420
diff
changeset
|
51 #\ |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
52 # You should have received a copy of the GNU General Public License\ |
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
53 # along with this program. If not, see <http://www.gnu.org/licenses/>. |
4440
e58a1c05a6ba
Update gettext source files from gettext automatically, using srclist-update.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4420
diff
changeset
|
54 |
5092
524f03b4532e
Add argz module, which is autoupdated from libtool.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4554
diff
changeset
|
55 /Th[ei][ s].* is free software/,/\*\//c\ |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
56 This program is free software: you can redistribute it and/or modify\ |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
57 it under the terms of the GNU General Public License as published by\ |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
58 the Free Software Foundation; either version 3 of the License, or\ |
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
59 (at your option) any later version.\ |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
60 \ |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
61 This program is distributed in the hope that it will be useful,\ |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
62 but WITHOUT ANY WARRANTY; without even the implied warranty of\ |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
63 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\ |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
64 GNU General Public License for more details.\ |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
65 \ |
9309
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
66 You should have received a copy of the GNU General Public License\ |
bbbbbf4cd1c5
Change copyright notice from GPLv2+ to GPLv3+.
Bruno Haible <bruno@clisp.org>
parents:
8594
diff
changeset
|
67 along with this program. If not, see <http://www.gnu.org/licenses/>. */ |
4536
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
68 ' |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
69 |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
70 # sed command to remove lines containing $Id lines. |
5911
cd73797c05ec
need terminating */ for argz.c; what about others?
Karl Berry <karl@freefriends.org>
parents:
5853
diff
changeset
|
71 # Quote the $ so that CVS does not expand it in this script. |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
72 remove_id_lines='/[$]Id:.*[$]/d' |
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
73 |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
74 # $1 is input file, $2 is output. |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
75 # Remove $Id lines, since they'll differ between source locations. |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
76 # If $options contains "gpl", change the license to be the standard |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
77 # GPL. We use this for libc files, et al. |
4025 | 78 # |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
79 fixfile() \ |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
80 { |
4536
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
81 sed_command="$remove_id_lines" |
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
82 |
4420
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
83 case " $options " in |
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
84 *' gpl '*) |
4536
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
85 sed_command="$sed_command; $fixlicense";; |
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
86 esac |
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
87 |
3358eb550c86
Leave whitespace alone when importing, undoing that part of yesterday's
Paul Eggert <eggert@cs.ucla.edu>
parents:
4534
diff
changeset
|
88 sed "$sed_command" $1 >$2 |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
89 } |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
90 |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
91 |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
92 # |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
93 cat | while read src dst options; do |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
94 #echo "src=$src, dst=$dst, options=$options" >&2 |
4420
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
95 case $src:$dst in |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
96 *: ) continue;; # skip lines without second element |
4420
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
97 '#'* ) continue;; # skip comment-only lines |
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
98 esac |
4025 | 99 |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
100 # Expand variables and make sure we have an input file. |
4420
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
101 eval src=$src |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
102 if test ! -r $src; then |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
103 echo "$0: cannot read $src" >&2 |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
104 continue |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
105 fi |
4025 | 106 |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
107 # Ignore subdirs in src dir. E.g., if input spec is |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
108 # src/subdir/foo.c dst |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
109 # then write destination file dst/foo.c. |
4420
4d53589600c0
* srclist-update: Port to POSIX 1003.1-2001 hosts by avoiding the
Paul Eggert <eggert@cs.ucla.edu>
parents:
4039
diff
changeset
|
110 eval dst=$dst |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
111 test -d $dst && dst=$dst/`basename $src` |
4025 | 112 |
4533
dde0ece94ba0
Normalize leading white space and remove trailing white space.
Paul Eggert <eggert@cs.ucla.edu>
parents:
4455
diff
changeset
|
113 # Fix files in both src and dst, for the sake |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
114 # of a clean comparison. |
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
115 srctmp=$TMPDIR/`basename $src` |
4023
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
116 fixfile $src $srctmp |
7af9d342ad09
account for gnulib changing libc files to gpl
Karl Berry <karl@freefriends.org>
parents:
3940
diff
changeset
|
117 test -r $dst && fixfile $dst $dsttmp |
4025 | 118 |
9653 | 119 # if src was executable, make dst executable, to placate git. |
120 test -x $src && chmod a+x $dst | |
10095 | 121 |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
122 if test ! -e $dst; then |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
123 echo "## $srctmp $dst # new" |
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
124 $chicken cp -p $srctmp $dst |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
125 elif cmp -s $srctmp $dsttmp; then |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
126 $verbose && echo "## $srctmp $dst # unchanged" |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
127 else |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
128 echo "## $srctmp $dst # changes" |
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
129 diff -C 2 $dst $srctmp |
3934
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
130 fi |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
131 done |
aa1637221a20
sync and scripts to check syncness
Karl Berry <karl@freefriends.org>
parents:
diff
changeset
|
132 |
4455
f6d8a9ce2bac
do not run fixlicense twice, it messed up texinfo.tex.
Karl Berry <karl@freefriends.org>
parents:
4449
diff
changeset
|
133 rm -f $dsttmp |