Index: tools/genlang =================================================================== --- tools/genlang (revision 18818) +++ tools/genlang (working copy) @@ -537,6 +537,10 @@ open(CFILE, ">$prefix.c") || die "Error: couldn't create file $prefix.c\n"; + # get header file name + $headername = "$prefix.h"; + $headername =~ s/(.*\/)*//; + print HFILE <