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