#!/bin/sh processline() { echo "- $1 -" name="$1" # I changed "0" to "$" because my sed # doesn't want to understand "0". # -- Zoltan cat xaos.hlp | sed '1,/%'"$1"'/d;/^%/,$ d' | sed \ '1,2s_
_g s_