From c8b6342d3c2a167dec16931815926e9e4387e7ef Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Thu, 13 Jan 2005 04:49:19 +0000
Subject: Many small edits.

---
 bin/doctype | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'bin/doctype')

diff --git a/bin/doctype b/bin/doctype
index c55244cb..e36c3caf 100755
--- a/bin/doctype
+++ b/bin/doctype
@@ -24,7 +24,7 @@ ifs='
 '{
 	files=`{echo $*}
 }
-9grep -h '\$LIST|\|reference|^\.(EQ|TS|\[|PS|IS|GS|G1|GD|PP|BM|LP|BP|PI|cstart|begin|TH...)|^\.P$' $* |
+9 grep -h '\$LIST|\|reference|^\.(EQ|TS|\[|PS|IS|GS|G1|GD|PP|BM|LP|BP|PI|cstart|begin|TH...)|^\.P$' $* |
 sort -u |
 awk '
 BEGIN	{ files = "'$files'" }
-- 
cgit v1.2.3