diff options
Diffstat (limited to 'Master/bin/hppa-hpux/mktexlsr')
-rwxr-xr-x | Master/bin/hppa-hpux/mktexlsr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Master/bin/hppa-hpux/mktexlsr b/Master/bin/hppa-hpux/mktexlsr index a52cd4856c8..2c4ac96f3dd 100755 --- a/Master/bin/hppa-hpux/mktexlsr +++ b/Master/bin/hppa-hpux/mktexlsr @@ -11,7 +11,7 @@ # <te@dbs.uni-hannover.de>, Okt., 1994. # Public domain. -version='$Id: mktexlsr 8741 2008-06-15 00:33:21Z 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 |