remove //DOC in the right place

diff --git a/pr.pl b/pr.pl
index 2e40b853a9d9a5419338a9a588ec4f2163cc027b..46905bd7c98c644cd8a2522ee8233b07a1a58b92 100755 (executable)
--- 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 44fdcbe87df083edc9cfe789ca4b2e9030e0a7d2..ba42e8f6e4a13982650b0cc315964fe4e8479032 100755 (executable)
--- 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";