]>
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 | |
6c913ba5 | 22 | line=1 |
fb21ced7 | 23 | while read -r str; do |
5824d651 BS |
24 | case "$str" in |
25 | HXCOMM*) | |
26 | ;; | |
6c913ba5 JK |
27 | STEXI*) |
28 | if test $flag -eq 1 ; then | |
29 | echo "line $line: syntax error: expected ETEXI, found $str" >&2 | |
30 | exit 1 | |
31 | fi | |
32 | flag=1 | |
33 | ;; | |
34 | ETEXI*) | |
35 | if test $flag -ne 1 ; then | |
36 | echo "line $line: syntax error: expected STEXI, found $str" >&2 | |
37 | exit 1 | |
38 | fi | |
39 | flag=0 | |
5824d651 BS |
40 | ;; |
41 | DEFHEADING*) | |
7d69c52e | 42 | echo "$(expr "$str" : "DEFHEADING(\(.*\))")" |
5824d651 BS |
43 | ;; |
44 | *) | |
7d69c52e | 45 | test $flag -eq 1 && echo "$str" |
5824d651 BS |
46 | ;; |
47 | esac | |
6c913ba5 | 48 | line=$((line+1)) |
5824d651 BS |
49 | done |
50 | } | |
51 | ||
52 | case "$1" in | |
53 | "-h") hxtoh ;; | |
54 | "-t") hxtotexi ;; | |
55 | *) exit 1 ;; | |
56 | esac | |
5c2f8d2d BS |
57 | |
58 | exit 0 |