diff --git a/rc/bin/doctype b/rc/bin/doctype
index e027fe13b..0f04f91ef 100755
--- 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'
 	}