diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLPDB.pm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Master/tlpkg/TeXLive/TLPDB.pm b/Master/tlpkg/TeXLive/TLPDB.pm index 72bf5390204..0cfb61bc74f 100644 --- a/Master/tlpkg/TeXLive/TLPDB.pm +++ b/Master/tlpkg/TeXLive/TLPDB.pm @@ -2363,6 +2363,9 @@ sub make_pin_data_from_line { } # split the package globs for (split(/,/, $b)) { + # remove leading and terminal white space + s/^\s*//; + s/\s*$//; my %mm = %m; $mm{'glob'} = $_; $mm{'re'} = glob_to_regex($_); |