Lines Matching refs:href
244 add_word ("<link title=\"Top\" rel=\"top\" href=\"#Top\">\n");
248 add_word ("<link title=\"Top\" rel=\"start\" href=\"index.html#Top\">\n");
268 add_word ("<link title=\"Top\" rel=\"start\" href=\"#Top\">\n");
271 add_word ("<link href=\"http://www.gnu.org/software/texinfo/\" \
595 add_word_args (" href=\"");
649 If HREF is positive, generate the name for an href= attribute, i.e.,
652 add_anchor_name (char *nodename, int href)
654 if (href > 0)
657 add_url_name (nodename, href);
670 add_escaped_anchor_name (nodename, href < 0);
676 add_url_name (char *nodename, int href)
678 add_nodename_to_filename (nodename, href);
720 nodename_to_filename_1 (char *nodename, int href)
730 if (href)
801 if (href && *dirname)
816 add_nodename_to_filename (char *nodename, int href)
819 char *filename = nodename_to_filename_1 (nodename, href);
828 <a href=, so call nodename_to_filename_1 with last arg non-zero. */