hxtool

   1 #!/bin/sh
   2
   3 hxtoh()
   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
  19 hxtotexi()
  20 {
  21     flag=0
  22     line=1
  23     while read -r str; do
  24         case "$str" in
  25             HXCOMM*)
  26             ;;
  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
  40             ;;
  41             DEFHEADING*)
  42             echo "$(expr "$str" : "DEFHEADING(\(.*\))")"
  43             ;;
  44             *)
  45             test $flag -eq 1 && echo "$str"
  46             ;;
  47         esac
  48         line=$((line+1))
  49     done
  50 }
  51
  52 case "$1" in
  53 "-h") hxtoh ;;
  54 "-t") hxtotexi ;;
  55 *) exit 1 ;;
  56 esac
  57
  58 exit 0