From 403006dd42d10d0f6f0b5c540af4196b68ec0f29 Mon Sep 17 00:00:00 2001
From: Orestis Malaspinas <orestis.malaspinas@hesge.ch>
Date: Tue, 26 Jun 2018 01:36:22 +0200
Subject: [PATCH] ajout highlight dans l'entete du makefile

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

diff --git a/Makefile b/Makefile
index 4feed9e..0c6e768 100644
--- a/Makefile
+++ b/Makefile
@@ -21,7 +21,8 @@ REVEALOPRIONS += -V width="1500" -V height="1500" -V margin=0 -V center=false
 REVEALOPRIONS += -V include-after="<script src="js/playRust.js"></script> \
 								   <script src="js/remote-code.js"></script> \
 								   <script src="js/remote-diagrams.js"></script> \
-								   <script src="js/em-artiste.js"></script>"
+								   <script src="js/em-artiste.js"></script> \
+								   <script src="reveal.js/plugin/highlight/highlight.js"></script>"
 REVEALOPRIONS += -V header-includes="<link rel="stylesheet" href="reveal.js/lib/css/zenburn.css" >\
 								     <link rel="stylesheet" href="reveal.js/css/theme/simple.css" id="theme">\
 								     <link rel="stylesheet" href="css/console.css" id="theme">\
@@ -30,7 +31,7 @@ REVEALOPRIONS += --section-divs
 # REVEALOPRIONS += -V fontsize=tiny
 REVEALOPRIONS += -V slideNumber=true
 REVEALOPRIONS += --slide-level=1
-# REVEALOPRIONS += --highlight-style espresso
+REVEALOPRIONS += --highlight-style espresso
 REVEALOPRIONS += --self-contained
 
 SVG=$(wildcard figs/*.svg)
-- 
GitLab