# HG changeset patch
# User Karl Berry <karl@freefriends.org>
# Date 1376589673 25200
# Node ID 6e09d76e533be1dec4fa45d82160012e97b93771
# Parent  9c2a21bcb2689cca052642aa0a27e4e502d4f229
accept doclicense option

diff --git a/ChangeLog b/ChangeLog
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2013-08-15  Karl Berry  <karl@gnu.org>
+
+	* config/srclist-update: add option "doclicense" to placate
+	pulling *.texi files from Emacs.  Write terse usage
+	documentation at the top.
+
 2013-08-13  Paul Eggert  <eggert@cs.ucla.edu>
 
 	xvasprintf-tests: port to GCC with hardening flags
diff --git a/config/srclist-update b/config/srclist-update
--- a/config/srclist-update
+++ b/config/srclist-update
@@ -1,6 +1,20 @@
 #!/bin/sh
 # 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.
+# 
+# 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-2013 Free Software Foundation, Inc.
 #
@@ -83,6 +97,9 @@
   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