7 echo "// AUTOMATICALLY GENERATED FILE" >$filename
10 buf
=$
(echo $a|cut
-f 1 -d '.')
11 name
=$
(echo $buf|
sed "s/_/ /g")
12 echo "// GENERATED FROM $a" >>$filename
13 .
/file2c
$a "static unsigned char const "$buf"[]={" "};" >>$filename
15 names
="$names \"$name\","
19 if test -n "$prefix"; then
20 echo "static unsigned char const *"$prefix"_pointers[]={$bufs NULL};" >>$filename
21 echo "static char const *"$prefix"_names[]={$names NULL};" >>$filename