Rename sync-docs to release-doc; add release-dist rule
authorJonas Fonseca <fonseca@diku.dk>
Thu, 31 May 2007 09:56:52 +0000 (11:56 +0200)
committerJonas Fonseca <fonseca@diku.dk>
Thu, 31 May 2007 10:16:25 +0000 (12:16 +0200)
commit3f20fe551338d020fa017280fa6204445f3f2086
tree0455e5dc5a44dd8b572759f9d9f25201a17fe30b
parentc4c9cd3b9eba7570b5541e19324d6f5ef45f08ef
Rename sync-docs to release-doc; add release-dist rule

Additionally, allow VERSION to be overwritten from the command
line by setting DIST_VERSION.
Makefile