end_time         1440 htags/htags.c  	time_t start_time, end_time, start_all_time, end_all_time,
end_time         1894 htags/htags.c  	end_time = time(NULL);
end_time         1896 htags/htags.c  	T_makedupindex = end_time - start_time;
end_time         1915 htags/htags.c  		end_time = time(NULL);
end_time         1917 htags/htags.c  		T_makedefineindex = end_time - start_time;
end_time         1926 htags/htags.c  		end_time = time(NULL);
end_time         1928 htags/htags.c  		T_makefileindex = end_time - start_time;
end_time         1936 htags/htags.c  		end_time = time(NULL);
end_time         1937 htags/htags.c  		T_makeincludeindex = end_time - start_time;
end_time         1965 htags/htags.c  	end_time = time(NULL);
end_time         1966 htags/htags.c  	T_makehtml = end_time - start_time;