diff options
| -rw-r--r-- | Makefile | 1 | ||||
| -rw-r--r-- | keys/Makefile | 10 | ||||
| -rw-r--r-- | keys/gmid-1.7.pub | 2 | ||||
| -rw-r--r-- | keys/gmid-1.8.pub | 2 | ||||
| -rw-r--r-- | keys/gmid-1.9.pub | 2 |
5 files changed, 17 insertions, 0 deletions
@@ -150,6 +150,7 @@ ${DISTNAME}.tar.gz: ${DISTFILES} ${MAKE} -C compat DESTDIR=${PWD}/.dist/${DISTNAME}/compat dist ${MAKE} -C contrib DESTDIR=${PWD}/.dist/${DISTNAME}/contrib dist ${MAKE} -C have DESTDIR=${PWD}/.dist/${DISTNAME}/have dist + ${MAKE} -C keys DESTDIR=${PWD}/.dist/${DISTNAME}/keys dist ${MAKE} -C regress DESTDIR=${PWD}/.dist/${DISTNAME}/regress dist cd .dist/ && tar zcf ../$@ ${DISTNAME} rm -rf .dist/ diff --git a/keys/Makefile b/keys/Makefile new file mode 100644 index 0000000..346df9e --- /dev/null +++ b/keys/Makefile @@ -0,0 +1,10 @@ +DISTFILES = Makefile gmid-1.7.pub gmid-1.8.pub gmid-1.9.pub + +all: false + +dist: ${DISTFILES} + mkdir -p ${DESTDIR} + ${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/ + +.PHONY: all dist +include ../config.mk diff --git a/keys/gmid-1.7.pub b/keys/gmid-1.7.pub new file mode 100644 index 0000000..d819f25 --- /dev/null +++ b/keys/gmid-1.7.pub @@ -0,0 +1,2 @@ +untrusted comment: signify public key +RWSK+qgSqgu20CEZZQTAExCxaGaOwGO7AWqru6BKLqQhQDy8Iz1tjXNE diff --git a/keys/gmid-1.8.pub b/keys/gmid-1.8.pub new file mode 100644 index 0000000..cb2ef4e --- /dev/null +++ b/keys/gmid-1.8.pub @@ -0,0 +1,2 @@ +untrusted comment: signify public key +RWTy3UJQzpxBUAymBwb2EGLLm0b3H/1n8hzhaC9HYFYzNuTavGt9QSwC diff --git a/keys/gmid-1.9.pub b/keys/gmid-1.9.pub new file mode 100644 index 0000000..9bbee3a --- /dev/null +++ b/keys/gmid-1.9.pub @@ -0,0 +1,2 @@ +untrusted comment: signify public key +RWQ+Bm0F0FtPLtTnpRe09x/Z6Fiodk4toTZe2TJ4yCqDZ6l0c5wiU9te |