]>
Commit | Line | Data |
---|---|---|
5824d651 BS |
1 | #!/bin/sh |
2 | ||
3 | hxtoh() | |
4 | { | |
5 | flag=1 | |
fb21ced7 | 6 | while read -r str; do |
5824d651 BS |
7 | case $str in |
8 | HXCOMM*) | |
9 | ;; | |
10 | STEXI*|ETEXI*) flag=$(($flag^1)) | |
11 | ;; | |
12 | *) | |
004efc96 | 13 | test $flag -eq 1 && printf "%s\n" "$str" |
5824d651 BS |
14 | ;; |
15 | esac | |
16 | done | |
17 | } | |
18 | ||
19 | hxtotexi() | |
20 | { | |
21 | flag=0 | |
fb21ced7 | 22 | while read -r str; do |
5824d651 BS |
23 | case "$str" in |
24 | HXCOMM*) | |
25 | ;; | |
26 | STEXI*|ETEXI*) flag=$(($flag^1)) | |
27 | ;; | |
28 | DEFHEADING*) | |
7d69c52e | 29 | echo "$(expr "$str" : "DEFHEADING(\(.*\))")" |
5824d651 BS |
30 | ;; |
31 | *) | |
7d69c52e | 32 | test $flag -eq 1 && echo "$str" |
5824d651 BS |
33 | ;; |
34 | esac | |
35 | done | |
36 | } | |
37 | ||
38 | case "$1" in | |
39 | "-h") hxtoh ;; | |
40 | "-t") hxtotexi ;; | |
41 | *) exit 1 ;; | |
42 | esac | |
5c2f8d2d BS |
43 | |
44 | exit 0 |