From fd8e3681010b2beea2f409038b5936831c9c8d50 Mon Sep 17 00:00:00 2001
From: Russ Cox <rsc@swtch.com>
Date: Sun, 12 Jul 2009 19:07:30 -0700
Subject: [PATCH] remove //DOC in the right place

---
 pr.pl   | 1 +
 runoff1 | 1 -
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/pr.pl b/pr.pl
index 2e40b85..46905bd 100755
--- 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
index 44fdcbe..ba42e8f 100755
--- 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";