Lines Matching defs:add_word_args
1678 add_word_args (_("This is %s, produced by makeinfo version %s from %s.\n"),
1908 add_word_args("\"%d\"", next_menu_item_number);
2457 add_word_args (const char *format, ...)
2459 add_word_args (format, va_alist)
2499 are mixtures of add_html_elt and add_word_args. They inform makeinfo that
3341 add_word_args ("\"%s\"", fullname);
3343 add_word_args ("\"%s\">",
3416 add_word_args (" src=\"%s\"", fullname);
3419 add_word_args (" alt=\"%s\"", alt_arg);
3691 add_word_args (_("{No value for `%s'}"), name);