Mercurial > hg > octave-shane > gnulib-hg

annotate config/srclist-update @ 17256:12cc1647eb5b

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
autoupdate
author Karl Berry <karl@freefriends.org>
date Tue, 01 Jan 2013 16:01:39 -0800
parents e542fd46ad6f
children 6e09d76e533b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
8417dd10919b remove trailing spaces
Jim Meyering <jim@meyering.net>
parents: 4023
diff changeset
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
123d98771820 update FSF address
Karl Berry <karl@freefriends.org>
parents: 5092
diff changeset
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
8417dd10919b remove trailing spaces
Jim Meyering <jim@meyering.net>
parents: 4023
diff changeset
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
8417dd10919b remove trailing spaces
Jim Meyering <jim@meyering.net>
parents: 4023
diff changeset
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
8417dd10919b remove trailing spaces
Jim Meyering <jim@meyering.net>
parents: 4023
diff changeset
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
8417dd10919b remove trailing spaces
Jim Meyering <jim@meyering.net>
parents: 4023
diff changeset
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
8417dd10919b remove trailing spaces
Jim Meyering <jim@meyering.net>
parents: 4023
diff changeset
118
9653
c6363be84da4 try to preserve x bits
Karl Berry <karl@freefriends.org>
parents: 9309
diff changeset
119 # if src was executable, make dst executable, to placate git.
c6363be84da4 try to preserve x bits
Karl Berry <karl@freefriends.org>
parents: 9309
diff changeset
120 test -x $src && chmod a+x $dst
10095
60ed1a52905e remove trailing blanks
Jim Meyering <meyering@redhat.com>
parents: 9653
diff changeset
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