Remove distinfo files before making them.

diff --git a/Makefile b/Makefile
index ef3539b2da5b5d1a64e395e086defcecb2205c5d..7d68a04c987bfcbebf8d5735e02d4e84eac53931 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}