| #!/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 |