Re: make 3.81: showing time differences

[Paul Smith]

On Sat, 2007-10-27 at 23:20 +0200, Bruno Haible wrote:
> I'm not asking for conversion of the duration to days, hours, minutes, and
> seconds. Just using fixed-point notation instead of exponential notation
> is enough: "480 s" is understandable.

Thanks Bruno; this seems like a good thing.  I'll apply it shortly.

Sorry for the delay; I'm in Boston and there've been a few sporting
events around here lately that have caused me to use up most of the
spare time I'd normally spend hacking, sitting in front of the TV
instead :-/ :-p  Things should be more-or-less back to normal now! :-)

-- 
-------------------------------------------------------------------------------
 Paul D. Smith <address@hidden>          Find some GNU make tips at:
 http://www.gnu.org                      http://make.mad-scientist.us
 "Please remain calm...I may be mad, but I am a professional." --Mad Scientist