ref: 28d1de9805fcadde8edf3dc246b295e0e1447197 dir: /bin/hombre/
#!/bin/rc ppi=157 if(~ $#* 0){ echo 'Usage: hombre x manpage' exit } if(~ $#* 2) d=$1' '$2 if not d=$1 window 'man -t '$d' | page -p '$ppi' -R'