html_header       371 htags/common.c 	if (html_header)
html_header       372 htags/common.c 		strbuf_puts(sb, html_header);		/* --html-header=file */
html_header       153 htags/htags.c  const char *html_header;		/**< @OPTION{--html-header=\<file\>}		*/
html_header      1624 htags/htags.c  				html_header = strbuf_value(sb);
html_header       122 htags/htags.h  extern const char *html_header;