gmid/keys/Makefile

mirror of https://github.com/omar-polo/gmid.git
DISTFILES =	Makefile gmid-1.7.pub gmid-1.8.pub gmid-2.0.pub

all: false

dist: ${DISTFILES}
	mkdir -p ${DESTDIR}
	${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/

.PHONY: all dist
include ../config.mk
rename gmid-1.9.pub -> gmid-2.0.pub; next version will be 2.0 2024-01-10 18:45:12 +01:00			`DISTFILES = Makefile gmid-1.7.pub gmid-1.8.pub gmid-2.0.pub`
add signify pubkeys 2024-01-10 18:33:55 +01:00
			`all: false`

			`dist: ${DISTFILES}`
			`mkdir -p ${DESTDIR}`
			`${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/`

			`.PHONY: all dist`
			`include ../config.mk`