ref: 28d1de9805fcadde8edf3dc246b295e0e1447197 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