diff --git a/runoff1 b/runoff1
index ba42e8f6e4a13982650b0cc315964fe4e8479032..44fdcbe87df083edc9cfe789ca4b2e9030e0a7d2 100755
--- a/runoff1
+++ b/runoff1
@@ -19,6 +19,7 @@ $linenum = 0;
 foreach (@lines) {
 	$linenum++;
 	chomp;
+	s!//DOC.*!!;
 	s/\s+$//;
 	if(length() >= 75){
 		print STDERR "$file:$linenum: line too long\n";