diff options
| -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"; | 
