1 # usage: awk -f actionnm.awk pseudocode.h
3 BEGIN { "date" | getline
5 printf("\n/* this file generated on %s */\n", today
)
6 printf("\nstatic char *action_names[] = { \n " )
16 t =
sprintf("\"%s\"", $
2 )
18 # printf("%-10s", $2 )
25 printf("\t 0\n};\n\n")