+
+# \f
+# $1 is input, output to stdout with gpl.
+#
+fixlicense() \
+{
+ sed '/The .* is free software/,/USA\. *\*\//c\
+ This program is free software; you can redistribute it and/or modify\
+ it under the terms of the GNU General Public License as published by\
+ the Free Software Foundation; either version 2, or (at your option)\
+ any later version.\
+\
+ This program is distributed in the hope that it will be useful,\
+ but WITHOUT ANY WARRANTY; without even the implied warranty of\
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\
+ GNU General Public License for more details.\
+\
+ You should have received a copy of the GNU General Public License along\
+ with this program; if not, write to the Free Software Foundation,\
+ Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. */
+' $1
+}
+
+
+# $1 is input file, $2 is output.
+# Remove $Id lines, since they'll differ between source locations.
+# If $options contains "gpl", change the license to be the standard
+# GPL. We use this for libc files.
+#
+fixfile() \
+{
+ if echo "$options" | grep -w gpl >/dev/null; then
+ fixlicense $1
+ else
+ cat $1
+ fi \
+ | fgrep -v '$'"Id:" >$2
+}
+
+
+# \f
+cat | while read src dst options; do