Delete the old VERSION file before appending the new one in make dist
authorJonas Fonseca <fonseca@diku.dk>
Wed, 20 Jun 2007 07:40:27 +0000 (09:40 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Wed, 20 Jun 2007 07:40:27 +0000 (09:40 +0200)
commit4393be9e5547971d53cf470ff7d9c01c058c9524
treea7439028985c2efc6f508dc6f6ce68348c1e5d23
parent0e9f95f4aa7f234efd39c46ba4ba4c84151bc015
Delete the old VERSION file before appending the new one in make dist
Makefile