diff options
| author | Ori Bernstein <ori@eigenstate.org> | 2020-03-10 09:35:06 -0700 |
|---|---|---|
| committer | Ori Bernstein <ori@eigenstate.org> | 2020-03-10 09:35:06 -0700 |
| commit | 06ea44c895a5f97b7b9b65fce84dec2700f443fb (patch) | |
| tree | 7a09bd65c8c57c4a4f635ccc444513e02efa768d /rc/bin/man | |
| parent | fc90f7a666da0b1634797d8596e8fdd4bbeba956 (diff) | |
| download | plan9front-06ea44c895a5f97b7b9b65fce84dec2700f443fb.tar.xz | |
fix -T option for doctype
We used to set $dev to -T, and leave the device type
in the argument list. Now, we set it to -T$2, and shift
it out of the list.
Diffstat (limited to 'rc/bin/man')
0 files changed, 0 insertions, 0 deletions