Hash :
6db55adb
Author :
Date :
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>