ref: 908cf58516331f7334225ecbc81e8eb2c0fa0c04
dir: /bin/pdf/
#!/bin/rc
ppi=157
if(~ $#* 0){
echo 'Usage: pdf [file] [page]'
exit
}
d=$1
if(~ $#2 1){
p=$2
window -cd `{pwd} page -R -p $ppi -j $d!$p $d
}
if not
window -cd `{pwd} page -R -p $ppi $d