1 dd40d596 2024-01-10 op DISTFILES =	Makefile gmid-1.7.pub gmid-1.8.pub gmid-2.0.pub
 2 c86654c9 2024-01-10 op 
 3 c86654c9 2024-01-10 op all: false
 4 c86654c9 2024-01-10 op 
 5 c86654c9 2024-01-10 op dist: ${DISTFILES}
 6 c86654c9 2024-01-10 op 	mkdir -p ${DESTDIR}
 7 c86654c9 2024-01-10 op 	${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/
 8 c86654c9 2024-01-10 op 
 9 c86654c9 2024-01-10 op .PHONY: all dist
10 c86654c9 2024-01-10 op include ../config.mk