1 4b93be28 2022-10-31 op DISTFILES =	Makefile \
 2 4b93be28 2022-10-31 op 		Dockerfile \
 3 4b93be28 2022-10-31 op 		README \
 4 4b93be28 2022-10-31 op 		gencert \
 5 4b93be28 2022-10-31 op 		gmid.service \
 6 4b93be28 2022-10-31 op 		gmid.sysusers \
 7 4b93be28 2022-10-31 op 		mime.types \
 8 4b93be28 2022-10-31 op 		renew-certs
 9 4b93be28 2022-10-31 op 
10 4b93be28 2022-10-31 op all:
11 4b93be28 2022-10-31 op 	false
12 4b93be28 2022-10-31 op 
13 4b93be28 2022-10-31 op dist: ${DISTFILES}
14 4b93be28 2022-10-31 op 	mkdir -p ${DESTDIR}/
15 4b93be28 2022-10-31 op 	${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/
16 4b93be28 2022-10-31 op 	cd ${DESTDIR} && chmod 755 gencert renew-certs
17 4b93be28 2022-10-31 op 	cp -R vim ${DESTDIR}/vim
18 4b93be28 2022-10-31 op 
19 4b93be28 2022-10-31 op .PHONY: all dist
20 4b93be28 2022-10-31 op include ../Makefile.local