diff options
| author | Omar Polo <op@omarpolo.com> | 2022-10-31 22:53:16 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2022-10-31 22:53:16 +0000 |
| commit | 4b93be289bc141a15484e782c85020b62b878ec2 (patch) | |
| tree | a953b6d70de69dc26894d1130edc7d7323c8c3dd /contrib | |
| parent | 21cf735f37d3b5792112e02b58735d69ce18998b (diff) | |
rework `make dist'
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/Makefile | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/contrib/Makefile b/contrib/Makefile new file mode 100644 index 0000000..9489eea --- /dev/null +++ b/contrib/Makefile @@ -0,0 +1,20 @@ +DISTFILES = Makefile \ + Dockerfile \ + README \ + gencert \ + gmid.service \ + gmid.sysusers \ + mime.types \ + renew-certs + +all: + false + +dist: ${DISTFILES} + mkdir -p ${DESTDIR}/ + ${INSTALL} -m 0644 ${DISTFILES} ${DESTDIR}/ + cd ${DESTDIR} && chmod 755 gencert renew-certs + cp -R vim ${DESTDIR}/vim + +.PHONY: all dist +include ../Makefile.local |