blob: 0fdbc641c643033c8d96028b1b02a5f0e6f9deb4 [file] [log] [blame]
David 'Digit' Turner5d8f37a2009-09-14 14:32:27 -07001#!/bin/sh
2
3hxtoh()
4{
5 flag=1
6 while read -r str; do
7 case $str in
8 HXCOMM*)
9 ;;
10 STEXI*|ETEXI*) flag=$(($flag^1))
11 ;;
12 *)
13 test $flag -eq 1 && printf "%s\n" "$str"
14 ;;
15 esac
16 done
17}
18
19hxtotexi()
20{
21 flag=0
22 while read -r str; do
23 case "$str" in
24 HXCOMM*)
25 ;;
26 STEXI*|ETEXI*) flag=$(($flag^1))
27 ;;
28 DEFHEADING*)
David 'Digit' Turner2910f182010-05-10 18:48:35 -070029 echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
David 'Digit' Turner5d8f37a2009-09-14 14:32:27 -070030 ;;
31 *)
David 'Digit' Turner2910f182010-05-10 18:48:35 -070032 test $flag -eq 1 && echo "$str"
David 'Digit' Turner5d8f37a2009-09-14 14:32:27 -070033 ;;
34 esac
35 done
36}
37
38case "$1" in
39"-h") hxtoh ;;
40"-t") hxtotexi ;;
41*) exit 1 ;;
42esac
43
44exit 0