commit 9bbe4594efec95643a61272e718da8d7dcd16a25
author rsc <devnull@localhost> Fri Jan 14 05:55:09 2005 +0000
committer rsc <devnull@localhost> Fri Jan 14 05:55:09 2005 +0000
tree f59f931a8236f5291ca09daec18227e71270fe20
parent 3a9ee6351914b85db336d51b0e450f954d37d7a6

paranoia

bin/doctype

diff --git a/bin/doctype b/bin/doctype
index e36c3ca..05e3cba 100755
--- a/bin/doctype
+++ b/bin/doctype
@@ -2,6 +2,8 @@
 
 # doctype:  synthesize proper command line for troff
 
+. 9.rc
+
 troff=troff
 eqn=eqn
 prefer=prefer
@@ -24,7 +26,7 @@
 '{
 	files=`{echo $*}
 }
-9 grep -h '\$LIST|\|reference|^\.(EQ|TS|\[|PS|IS|GS|G1|GD|PP|BM|LP|BP|PI|cstart|begin|TH...)|^\.P$' $* |
+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'" }