Searched refs:in_menu (Results 1 – 8 of 8) sorted by relevance
/netbsd-src/external/gpl2/texinfo/dist/makeinfo/ |
H A D | insertion.c | 65 int in_menu = 0; variable 458 in_menu++; in begin_insertion() 463 if (!in_menu) in begin_insertion() 713 if (in_menu) in begin_insertion() 873 if (in_menu) in begin_insertion() 1096 if (!in_menu) in end_insertion() 1115 in_menu--; /* No longer hacking menus. */ in end_insertion()
|
H A D | insertion.h | 55 extern int in_menu;
|
H A D | makeinfo.c | 1837 in_menu = 0; in init_internals() 2208 if (!only_macro_expansion && in_menu in reader_loop() 2563 if (no_headers && !only_macro_expansion && (in_menu || in_detailmenu)) in add_char() 2600 if (!filling_enabled && !(html && (in_menu || in_detailmenu))) in add_char() 2682 if ((in_menu || in_detailmenu) && in_menu_item) in add_char() 3622 if (docbook && in_menu) in cm_value()
|
H A D | xml.c | 844 if (docbook && !only_macro_expansion && (in_menu || in_detailmenu)) 1002 if (docbook && !only_macro_expansion && (in_menu || in_detailmenu)) in xml_insert_entity() 1171 if (docbook && !only_macro_expansion && (in_menu || in_detailmenu)) in xml_add_char()
|
H A D | node.c | 1125 if (!in_fixed_width_font || in_menu || in_detailmenu) in cm_anchor()
|
/netbsd-src/external/gpl2/gettext/dist/gettext-tools/doc/ |
H A D | texi2html | 1114 $in_menu = 0; # am I inside a menu 1128 $in_menu = 1, push(@lines2, &debug("<UL>\n", __LINE__)), next if /^\@menu\b/; 1129 $in_menu = 0, push(@lines2, &debug("</UL>\n", __LINE__)), next if /^\@end\s+menu\b/; 1130 if ($in_menu) {
|
/netbsd-src/external/gpl2/gettext/dist/gettext-runtime/libasprintf/ |
H A D | texi2html | 1114 $in_menu = 0; # am I inside a menu 1128 $in_menu = 1, push(@lines2, &debug("<UL>\n", __LINE__)), next if /^\@menu\b/; 1129 $in_menu = 0, push(@lines2, &debug("</UL>\n", __LINE__)), next if /^\@end\s+menu\b/; 1130 if ($in_menu) {
|
/netbsd-src/external/gpl3/gdb/dist/readline/readline/doc/ |
H A D | texi2html | 4110 $in_menu = 0; # am I inside a menu 4126 $in_menu = 1; 4141 $in_menu = 0; 4145 if ($in_menu)
|