xv6

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit fd8e3681010b2beea2f409038b5936831c9c8d50
parent 4ed996f552cac7fc6e9713355bdd36e303c76b72
Author: Russ Cox <rsc@swtch.com>
Date:   Sun, 12 Jul 2009 19:07:30 -0700

remove //DOC in the right place

Diffstat:
Mpr.pl | 1+
Mrunoff1 | 1-
2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/pr.pl b/pr.pl @@ -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++){ diff --git a/runoff1 b/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";