Commit 6db55adb1d8cbd763d4f8085c800a94934b1b1a5

Alexandre Oliva 1999-04-10T01:41:19

* remake-hdr.am: Create the stamp file before the header file, and just rename it after, so that the timestamps will be correct. Reported by Marc Horowitz <marc@mit.edu>