+read_header()
+{
+ local key value i
+
+ while read key value; do
+ case "$key" in
+ ---)
+ break
+ ;;
+ HC:)
+ header_comment="$value"
+ ;;
+ CC:)
+ c_file_comment="$value"
+ ;;
+ OF:)
+ output_file="$value"
+ array_name=${value%command_list}cmds
+ ;;
+ SF:)
+ source_file="$value"
+ ;;
+ AT:)
+ array_type="$value"
+ ;;
+ IN:)
+ for i in $value; do
+ includes="$includes
+#include \"$i.h\""
+ done
+ includes="$includes
+#include \"$output_file.h\""
+ ;;
+ SN:)
+ section_name="$value"
+ esac
+ done
+ if test -z "$header_comment" -o -z "$c_file_comment" \
+ -o -z "$output_file"; then
+ echo "header error" 1&>2
+ exit 1
+ fi
+}