diff options
| author | rsc <devnull@localhost> | 2005-01-13 04:49:19 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-13 04:49:19 +0000 |
| commit | c8b6342d3c2a167dec16931815926e9e4387e7ef (patch) | |
| tree | 80d3ec6ea074462b30639168113def880476dad6 /bin/doctype | |
| parent | 741f510ce758f77ed5193256fb693a09a7daecce (diff) | |
| download | plan9port-c8b6342d3c2a167dec16931815926e9e4387e7ef.tar.gz plan9port-c8b6342d3c2a167dec16931815926e9e4387e7ef.tar.bz2 plan9port-c8b6342d3c2a167dec16931815926e9e4387e7ef.zip | |
Many small edits.
Diffstat (limited to 'bin/doctype')
| -rwxr-xr-x | bin/doctype | 2 |
1 files changed, 1 insertions, 1 deletions
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'" } |