diff options
Diffstat (limited to 'Tools/make_index')
-rw-r--r-- | Tools/make_index | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Tools/make_index b/Tools/make_index index 997576592789..7bb9b5af8bfa 100644 --- a/Tools/make_index +++ b/Tools/make_index @@ -97,6 +97,8 @@ chomp($pwd = `pwd`); # Read each line of output generated by the 'index' target. while (<>) { chomp; + s/\015$//; + my @f = split(/\|/); # Force to canonical form. |