Searched refs:had_menu_commentary (Results 1 – 4 of 4) sorted by relevance
55 extern int had_menu_commentary;
57 int had_menu_commentary; variable445 had_menu_commentary = 1; in begin_insertion()
1885 if (had_menu_commentary) in handle_menu_entry()1888 had_menu_commentary = 0; in handle_menu_entry()
4998 and set had_menu_commentary.4999 * makeinfo/insertion.h (had_menu_commentary): declare new global.5043 with `had_menu_commentary', declared globally. Modified5044 insertion.c:begin_insertion() to initialize had_menu_commentary to5051 had_menu_commentary; the second patch fixes this bug.