lineno_format     533 htags/src2html.c static char lineno_format[32];
lineno_format     567 htags/src2html.c                 fprintf(out, lineno_format, lineno);
lineno_format     673 htags/src2html.c 	snprintf(lineno_format, sizeof(lineno_format), "%%%dd ", ncol);