X-Git-Url: http://erislabs.net/gitweb/?a=blobdiff_plain;f=config%2Fsrclist-update;h=198856a4052173e747f7d4022f26b90112cad6fb;hb=46f5f314f34a08c9305758482d7d2fdb0e999d09;hp=3355fcb0b47d82c3080eeca62705a4432c8ec169;hpb=270e36a5c54af809697c22ba017bc07adea248f0;p=gnulib.git

diff --git a/config/srclist-update b/config/srclist-update
index 3355fcb0b..198856a40 100755
--- a/config/srclist-update
+++ b/config/srclist-update
@@ -1,10 +1,22 @@
 #!/bin/sh
-# $Id: srclist-update,v 1.19 2007-03-30 23:44:27 karl Exp $
-#
 # Check for files in directory $1 being up to date, according to the
 # list on stdin.  Don't actually make any changes, just show the diffs.
 #
-# Copyright (C) 2002, 2003, 2005, 2007, 2008 Free Software Foundation, Inc.
+# Empty (or only whitespace) input lines are ignored.
+# Lines beginning with # are ignored.
+# Lines with just one word are ignored.
+# Otherwise, the line has two or more whitespace-separated words:
+#   the first word is the source, the second word is the destination,
+#   other optional words are options.
+# The possible options are "gpl" (to replace the license with the GPL)
+#   and "doclicense" (to replace @include doclicense.texi with fdl.texi).
+#   Unrecognized options are ignored.
+# $VARIABLE expansions are done (with sh eval).
+#
+# This script is used in gnulib and texinfo; the input files are named
+# srclist.txt.
+#
+# Copyright (C) 2002-2003, 2005, 2007-2014 Free Software Foundation, Inc.
 #
 # 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
@@ -85,6 +97,9 @@ fixfile() \
   case " $options " in
   *' gpl '*)
     sed_command="$sed_command; $fixlicense";;
+
+  *' doclicense '*)
+    sed_command="$sed_command; s/@include doclicense.texi/@include fdl.texi/";;
   esac
 
   sed "$sed_command" $1 >$2
@@ -120,7 +135,7 @@ cat | while read src dst options; do
 
   # if src was executable, make dst executable, to placate git.
   test -x $src && chmod a+x $dst
-  
+
   if test ! -e $dst; then
     echo "## $srctmp $dst  # new"
     $chicken cp -p $srctmp $dst