remove //DOC in the right place

Author: rsc

pr.pl

@@ -20,6 +20,7 @@
 	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++){

runoff1

@@ -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";