#! /bin/bash echo " The files ./doc/*.txt are BOLDFACE formatted. Apparently this confuses some of our users, so we just supply this script to help them ;-) What info do you want to be displayed ? (enter a number) (press the "q" key to exit the viewer) " LIST="README.txt:README-tech.txt:dosemu manpage:dosemu.bin manpage:configuration.txt:dosemu-HOWTO.txt" CONF="dosemu.conf chapter" IFS=: CHOICES=$CONF:$LIST select file in $CHOICES; do if [ "$file" = "$CONF" ]; then line=`col -b