From 2dda788622d4c096bf3d9d6d21d6ac7b230ef022 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Sat, 9 Mar 2019 06:02:02 +0100
Subject: [PATCH] Missing style.css for index.html

---
 Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 8c1e6d5..b7b359d 100644
--- a/Makefile
+++ b/Makefile
@@ -20,7 +20,7 @@ artifacts/deps.pdf: deps.ps Makefile
 	mkdir -p $$(dirname $@)
 	ps2pdf $< $@
 
-artifacts/index.html: doc-src/index.html artifacts/references/style.css artifacts/deps.svg artifacts/deps.png artifacts/deps.pdf artifacts/references/index.html Makefile
+artifacts/index.html: doc-src/index.html artifacts/style.css artifacts/deps.svg artifacts/deps.png artifacts/deps.pdf artifacts/references/index.html Makefile
 	mkdir -p $$(dirname $@)
 	cp doc-src/index.html $@
 
@@ -28,6 +28,10 @@ artifacts/references/index.html: references.md artifacts/references/style.css Ma
 	mkdir -p $$(dirname $@)
 	doc-src/markdown2html.sh $< "References" > $@
 
+artifacts/style.css: doc-src/style.css Makefile
+	mkdir -p $$(dirname $@)
+	cp $< $@
+
 artifacts/references/style.css: doc-src/style.css Makefile
 	mkdir -p $$(dirname $@)
 	cp $< $@