diff options
author | Russ Cox <[email protected]> | 2009-07-12 19:07:30 -0700 |
---|---|---|
committer | Russ Cox <[email protected]> | 2009-07-12 19:07:30 -0700 |
commit | fd8e3681010b2beea2f409038b5936831c9c8d50 (patch) | |
tree | 1b6e907bebf5967b0bcd092ef94321bd6388559f | |
parent | 4ed996f552cac7fc6e9713355bdd36e303c76b72 (diff) | |
download | xv6-labs-fd8e3681010b2beea2f409038b5936831c9c8d50.tar.gz xv6-labs-fd8e3681010b2beea2f409038b5936831c9c8d50.tar.bz2 xv6-labs-fd8e3681010b2beea2f409038b5936831c9c8d50.zip |
remove //DOC in the right place
-rwxr-xr-x | pr.pl | 1 | ||||
-rwxr-xr-x | runoff1 | 1 |
2 files changed, 1 insertions, 1 deletions
@@ -20,6 +20,7 @@ for($i=0; $i<@lines; $i+=50){ print "$now $h Page $page\n"; print "\n\n"; for($j=$i; $j<@lines && $j<$i +50; $j++){ + $lines[$j] =~ s!//DOC.*!!; print $lines[$j]; } for(; $j<$i+50; $j++){ @@ -19,7 +19,6 @@ $linenum = 0; foreach (@lines) { $linenum++; chomp; - s!//DOC.*!!; s/\s+$//; if(length() >= 75){ print STDERR "$file:$linenum: line too long\n"; |