diff options
Diffstat (limited to 'hxtool')
-rwxr-xr-x | hxtool | 44 |
1 files changed, 44 insertions, 0 deletions
@@ -0,0 +1,44 @@ +#!/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 |