blob: 885abe222d6408e15c9dcb9ef4c47e68f8890c65 [file] [log] [blame]
Jean-Baptiste Queru46e568c2009-10-27 09:08:42 -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*)
29 echo $(expr "$str" : "DEFHEADING(\(.*\))")
30 ;;
31 *)
32 test $flag -eq 1 && echo $str
33 ;;
34 esac
35 done
36}
37
38case "$1" in
39"-h") hxtoh ;;
40"-t") hxtotexi ;;
41*) exit 1 ;;
42esac
43
44exit 0