diff options
Diffstat (limited to 'Master/bin/i386-linux/mktexlsr')
-rwxr-xr-x | Master/bin/i386-linux/mktexlsr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/bin/i386-linux/mktexlsr b/Master/bin/i386-linux/mktexlsr index 5e9ddaa3c24..2c4ac96f3dd 100755 --- a/Master/bin/i386-linux/mktexlsr +++ b/Master/bin/i386-linux/mktexlsr @@ -11,7 +11,7 @@ # <te@dbs.uni-hannover.de>, Okt., 1994. # Public domain. -version='$Id: mktexlsr 8399 2008-05-28 22:19:34Z karl $' +version='$Id: mktexlsr 9164 2008-07-02 17:42:11Z karl $' progname=`echo $0 | sed 's%.*/%%'` usage="Usage: $progname [DIR]... @@ -86,7 +86,7 @@ while test $# -gt 0; do exit 1 else test -d "$1" || echo "$progname: $1 not a directory." >&2 - trees="$trees $1" # don't want to update update system dirs + trees="$trees $1" # don't want to update system dirs fi shift done |