dviselect userman.dvi :11   > userman1.dvi 
dvips userman1 -o users.1.ps > users.1.ps
dviselect userman.dvi 12:21 > userman2.dvi 
dvips userman2 -o users.2.ps > users.2.ps
dviselect userman.dvi 22:31 > userman3.dvi 
dvips userman3 -o users.3.ps > users.3.ps
dviselect userman.dvi 32:41 > userman4.dvi 
dvips userman4 -o users.4.ps > users.4.ps
dviselect userman.dvi 42:51 > userman5.dvi 
dvips userman5 -o users.5.ps > users.5.ps
dviselect userman.dvi 52:61 > userman6.dvi 
dvips userman6 -o users.6.ps > users.6.ps
dviselect userman.dvi 62:71 > userman7.dvi 
dvips userman7 -o users.7.ps > users.7.ps
dviselect userman.dvi 72:81 > userman8.dvi
dvips userman8 -o users.8.ps > users.8.ps
dviselect userman.dvi 82:   > userman9.dvi
dvips userman9 -o users.9.ps > users.9.ps
