because I hate navigating info pages
#!/bin/sh #~/bin/infoless #DTPD# if [ $# -ne 1 ] ; then echo "which page?" exit 1 fi exec info $1 2> /dev/null | less
#!/bin/sh #~/bin/infoless #DTPD# if [ $# -ne 1 ] ; then echo "which page?" exit 1 fi exec info $1 2> /dev/null | less