Peter Wemm 4c987fb1a7 makeinfo can fail but still leave behind zero length files which cause
interesting problems because the resulting file is newer than the source
and this stops 'make' from rebuilding it.  Go via an intermediate file
and rename to make sure this doesn't happen.
1997-03-12 07:14:44 +00:00
..
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00
1997-03-09 23:10:56 +00:00
1997-02-22 14:13:04 +00:00
1997-03-09 00:14:00 +00:00
1997-02-22 14:13:04 +00:00
1997-02-22 14:13:04 +00:00