Remove distinfo files before making them.

diff --git a/Makefile b/Makefile
index fce559e5b318ad5d89f885629c741ecb9f2648b0..f8934e48c834a1e6a2f7a5c0316e90334347943d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -154,6 +154,7 @@ dist:
        rm ${DISTFILEGZ}
 
 distinfo: dist
+       rm -f ${DISTINFO} ${DISTINFOSIGN}
        ${CKSUM} ${DISTFILE} >${DISTINFO}
        #printf "SIZE (${DISTFILE}) = %s\n" $$(wc -c <${DISTFILE}) >>${DISTINFO}
        ${PGP} --clearsign --output=${DISTINFOSIGN} ${DISTINFO}