diff options
| author | Karl Berry <karl@freefriends.org> | 2013-08-15 11:01:29 -0700 |
|---|---|---|
| committer | Karl Berry <karl@freefriends.org> | 2013-08-15 11:01:29 -0700 |
| commit | 1c77dbc8b155f2667242e560601ab1ec913a78af (patch) | |
| tree | 1ab5d218175685bba028993ee19b2fd3d26ffb86 /config/srclist-update | |
| parent | 71b8fa3dedfc8318e1b3e7691751332882ff267a (diff) | |
| download | gnulib-1c77dbc8b155f2667242e560601ab1ec913a78af.tar.gz | |
accept doclicense option
Diffstat (limited to 'config/srclist-update')
| -rwxr-xr-x | config/srclist-update | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/config/srclist-update b/config/srclist-update index 2c597a04dc..1fa656381a 100755 --- a/config/srclist-update +++ b/config/srclist-update @@ -1,7 +1,7 @@ #!/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. @@ -12,7 +12,7 @@ # 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. # |