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