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