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 \
6 9adaf612 2023-04-15 op galileo-03.pub \
13 6c629180 2022-11-12 op signify -G -p galileo-${NEXTV}.pub -s galileo-${NEXTV}.sec
15 6c629180 2022-11-12 op dist: ${DISTFILES}
16 6c629180 2022-11-12 op mkdir -p ${DESTDIR}/
17 6c629180 2022-11-12 op ${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/
19 6c629180 2022-11-12 op .PHONY: all dist
20 6c629180 2022-11-12 op include ../config.mk