3 6c629180 2022-11-12 op DISTFILES = Makefile \
4 6c629180 2022-11-12 op galileo-01.pub \
5 29983dc9 2023-03-18 op galileo-02.pub \
12 6c629180 2022-11-12 op signify -G -p galileo-${NEXTV}.pub -s galileo-${NEXTV}.sec
14 6c629180 2022-11-12 op dist: ${DISTFILES}
15 6c629180 2022-11-12 op mkdir -p ${DESTDIR}/
16 6c629180 2022-11-12 op ${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/
18 6c629180 2022-11-12 op .PHONY: all dist
19 6c629180 2022-11-12 op include ../config.mk