#!/bin/sh hxtoh() { flag=1 while read -r str; do case $str in HXCOMM*) ;; STEXI*|ETEXI*) flag=$(($flag^1)) ;; *) test $flag -eq 1 && printf "%s\n" "$str" ;; esac done } hxtotexi() { flag=0 while read -r str; do case "$str" in HXCOMM*) ;; STEXI*|ETEXI*) flag=$(($flag^1)) ;; DEFHEADING*) echo $(expr "$str" : "DEFHEADING(\(.*\))") ;; *) test $flag -eq 1 && echo $str ;; esac done } case "$1" in "-h") hxtoh ;; "-t") hxtotexi ;; *) exit 1 ;; esac exit 0