ref: 908cf58516331f7334225ecbc81e8eb2c0fa0c04 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'