chore: include filesize in the distinfo

diff --git a/Makefile b/Makefile
index b0ca7387413af5084d5acbde24aa4f5e25c4eeda..f8460c6835fae43045acd4021c92c7951735280d 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -69,6 +69,7 @@ dist: ${DIST}
 distinfo: dist
        rm -f ${DISTINFO} ${DISTSIGN}
        ${SHA256} ${DISTFILE} >${DISTINFO}
+       stat -f "Size   (${DISTFILE}) = %z" ${DISTFILE} >>${DISTINFO}
        ${PGP} --armour --detach-sign ${DISTFILE}
        chmod 644 ${DISTSIGN}
        ls -l ${DISTFILE} ${DISTINFO} ${DISTSIGN}