diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-11-19 18:36:32 +0100 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2020-11-19 18:37:52 +0100 |
commit | 2ba30768f911e47b70ee52ddecc12c73f001cf72 (patch) | |
tree | 4058f0ea8aa9c751d0b87f36c274f97780008c00 | |
parent | df894af6ea985381954e61eebcd2ad99b7733221 (diff) | |
download | git.replicant.us-website-master.tar.gz git.replicant.us-website-master.tar.bz2 git.replicant.us-website-master.zip |
This could simplify deployment later on as having a Makefile makes
it easyer to package it in a distribution package.
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
-rw-r--r-- | Makefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..adaf681 --- /dev/null +++ b/Makefile @@ -0,0 +1,19 @@ +INSTALL ?= install +DESTDIR ?= html + +TARGETS = \ + index.html \ + index.css \ + COPYING \ + +.PHONY: help +help: + @echo "Usage:" + @echo -e "\tmake install DESTDIR=path/to/destdir" + +$(DESTDIR): + mkdir -p $(DESTDIR) + +.PHONY: install +install: $(DESTDIR) + $(INSTALL) -m644 $(TARGETS) -t $(DESTDIR) |