quoted            640 htags/src2html.c 	const char *quoted = HTML_quoting(c);
quoted            642 htags/src2html.c 	if (quoted)
quoted            643 htags/src2html.c 		strbuf_puts(outbuf, quoted);