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.

diff --git a/rc/bin/doctype b/rc/bin/doctype
index e027fe13b2c7e73cfc06ada8eefabfb001558069..0f04f91ef0c7b6192ee27a5696d8ddbd14712866 100755 (executable)
--- a/rc/bin/doctype
+++ b/rc/bin/doctype
@@ -13,7 +13,8 @@ while(~ $1 -*){
                eqn=neqn
                prefer='prefer -n'
        case -T
-               dev=$1
+               dev=-T$2
+               shift
        case -*
                opt=$opt' $1'
        }