Symbol: write_menu_file
usr.bin/menuc/defs.h
104
void write_menu_file(char *);
usr.bin/menuc/parse.y
73
write_menu_file($1);