From 076de8cd68bbb0180b56c5dd974da51d8b4ddb09 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Fri, 4 Mar 2022 17:06:43 +0100
Subject: [PATCH] Makefile: publish css

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index 35bdb98..d4a1d52 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,10 @@
 all: public/good_practices.html \
+  public/github-pandoc.css \
 	README.md
 
+public/github-pandoc.css: github-pandoc.css
+	cp github-pandoc.css public/github-pandoc.css
+
 public/good_practices.html: good_practices.tex bibliography.bib  github-pandoc.css
 	pandoc good_practices.tex --bibliography=bibliography.bib -c github-pandoc.css --citeproc --toc --standalone --number-sections -o public/good_practices.html \
 	&& sed -Ei 's|>\[sec:(.*)\]<|>\1<|g' public/good_practices.html
-- 
GitLab