From 385d3cd5d070274e7a27fbb739d1577ad529f367 Mon Sep 17 00:00:00 2001
From: Laurent Modolo <laurent.modolo@ens-lyon.fr>
Date: Fri, 21 Jan 2022 09:50:53 +0100
Subject: [PATCH] Makefile: fix css path

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

diff --git a/Makefile b/Makefile
index 2d5b942..212dc46 100644
--- a/Makefile
+++ b/Makefile
@@ -1,4 +1,5 @@
 all: public/index.html \
+	public/github-pandoc.css \
 	public/1_understanding_a_computer.html \
 	public/2_using_the_ifb_cloud.html \
 	public/3_first_steps_in_a_terminal.html \
@@ -12,6 +13,8 @@ all: public/index.html \
 	public/11_install_system_programs.html \
 	public/12_virtualization.html
 
+public/github-pandoc.css: github-pandoc.css
+	cp github-pandoc.css public/github-pandoc.css
 
 public/index.html: index.md github-pandoc.css
 	pandoc -s -c github-pandoc.css index.md -o public/index.html
-- 
GitLab