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:45:42 +0100 |
commit | f9bdee7a8d3629091881d8ef6d8f4620e69ccd99 (patch) | |
tree | 8ed757778bb05f99465e69928b042407596d2054 | |
parent | 930e2bff0eb7466a3792b96e27ccadc5ff7ca812 (diff) | |
download | git.replicant.us-f9bdee7a8d3629091881d8ef6d8f4620e69ccd99.tar.gz git.replicant.us-f9bdee7a8d3629091881d8ef6d8f4620e69ccd99.tar.bz2 git.replicant.us-f9bdee7a8d3629091881d8ef6d8f4620e69ccd99.zip |
Add a Makefile
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) |