diff options
| author | rsc <devnull@localhost> | 2005-01-14 05:55:09 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-14 05:55:09 +0000 |
| commit | 9bbe4594efec95643a61272e718da8d7dcd16a25 (patch) | |
| tree | f59f931a8236f5291ca09daec18227e71270fe20 /bin/doctype | |
| parent | 3a9ee6351914b85db336d51b0e450f954d37d7a6 (diff) | |
| download | plan9port-9bbe4594efec95643a61272e718da8d7dcd16a25.tar.gz plan9port-9bbe4594efec95643a61272e718da8d7dcd16a25.tar.bz2 plan9port-9bbe4594efec95643a61272e718da8d7dcd16a25.zip | |
paranoia
Diffstat (limited to 'bin/doctype')
| -rwxr-xr-x | bin/doctype | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/doctype b/bin/doctype index e36c3caf..05e3cba4 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 @@ ifs=' '{ 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'" } |