From 9826a61c6637c15d3429b2ab63bde614313fdc03 Mon Sep 17 00:00:00 2001
From: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Date: Thu, 10 Jun 2021 01:38:11 +0200
Subject: Makefile: Also install htdocs

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
---
 Makefile | 17 +++++++----------
 1 file changed, 7 insertions(+), 10 deletions(-)

diff --git a/Makefile b/Makefile
index b226656..780ba45 100644
--- a/Makefile
+++ b/Makefile
@@ -1,20 +1,17 @@
 INSTALL ?= install
 DESTDIR ?= html
 
-TARGETS = \
-	vm-source.html \
-	index.html \
-	index.css \
-	COPYING \
+TARGETS := `git ls-files | grep -P -v README.txt`
 
 .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)
+install:
+	install -m 755 -d $(DESTDIR)/htdocs/
+	@for target in $(TARGETS) ; do \
+		echo $(INSTALL) -m 644 $$target $(DESTDIR)/$$target ; \
+		$(INSTALL) -m 644 $$target $(DESTDIR)/$$target ; \
+	done
-- 
cgit v1.2.3