saveflag          529 htags/src2html.c 	int saveflag = wflag;
saveflag          535 htags/src2html.c 	wflag = saveflag;