diff options
| -rw-r--r-- | Tools/make_index | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Tools/make_index b/Tools/make_index index b6fb0a117d14..952bbd3f1b17 100644 --- a/Tools/make_index +++ b/Tools/make_index @@ -1,6 +1,6 @@ #!/usr/bin/perl # -# $Id: make_index,v 1.2 1998/12/15 16:28:52 steve Exp $ +# $Id: make_index,v 1.3 1999/03/11 21:47:09 scrappy Exp $ # # Written to speed-up INDEX file generation. The new scheme # basically visits each port once and writes out each port's @@ -68,7 +68,6 @@ chomp($pwd = `pwd`); # Read each line of output generated by the 'index' target. while (<>) { chomp; - print $_, "\n"; my @f = split(/\|/); # Force to canonical form. |