* make-dist: Rebuild configure if configure.in is newer.
authorJim Blandy <jimb@redhat.com>
Sat, 29 May 1993 19:38:45 +0000 (19:38 +0000)
committerJim Blandy <jimb@redhat.com>
Sat, 29 May 1993 19:38:45 +0000 (19:38 +0000)
commitb4e84d5d36e2dcbb431955af2e0ad45d79f56ff1
tree010b85cb2d06f36a8437ea9004adb53da430bdc2
parentb305e8e5807606c7ee59447cd7ed95ae3e5353c4
* make-dist: Rebuild configure if configure.in is newer.
make-dist