mises a jour

Makefile

-BEAMEROPTIONS  = -t beamer
-BEAMEROPTIONS += --pdf-engine=pdflatex
-BEAMEROPTIONS += --default-image-extension=png
-BEAMEROPTIONS += -V theme:metropolis
-BEAMEROPTIONS += -V fontsize=small
-BEAMEROPTIONS += --highlight-style espresso
-BEAMEROPTIONS += --template ./default.latex
-BEAMEROPTIONS += --self-contained
-# BEAMEROPTIONS += -i
-BEAMEROPTIONS += --slide-level=1
-
-
 REVEALOPRIONS = -t revealjs
 REVEALOPRIONS += --template ./default.revealjs
 # REVEALOPRIONS += -V theme=moon 
 REVEALOPRIONS += -V center=true
-# REVEALOPRIONS += -V margin=0
+REVEALOPRIONS += -V margin=0
 # REVEALOPRIONS += -V minScale=0.2
 # REVEALOPRIONS += -V maxScale=2.0
 REVEALOPRIONS += -V width="1500" -V height="1500" -V margin=0 -V center=false
@@ -49,17 +37,5 @@ figs/%.png: figs/%.svg
 %.html: %.md Makefile
 	pandoc -s $(REVEALOPRIONS) -o $@ $<
 
-# intro.html: intro.md Makefile
-# 	pandoc -s $(REVEALOPRIONS) -o $@ $<
-
-# variables.html: variables.md Makefile
-# 	pandoc -s $(REVEALOPRIONS) -o $@ $<
-
-# types.html: types.md Makefile
-# 	pandoc -s $(REVEALOPRIONS) -o $@ $<
-
-# control.html: control.md Makefile
-# 	pandoc -s $(REVEALOPRIONS) -o $@ $<
-
 clean:
 	rm -rf *.html

types.md

@@ -4,22 +4,6 @@ subtitle: Types
 author: Orestis Malaspinas
 <!-- date: 25 avril 2018 -->
 sansfont: Sans Serif
-<!-- 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">
-  	<script src="jquery/dist/jquery.min.js"></script> -->
-    <!-- <script src="reveal.js/lib/js/classList.js"></script> -->
-    <!-- <script src="reveal.js/plugin/zoom-js/zoom.js"></script> -->
-    <!-- <script src="reveal.js/plugin/highlight/highlight.js"></script> -->
-    <!-- <script src="js/remote-diagrams.js"></script> -->
-    <!-- <script src="reveal.js/plugin/notes/notes.js"></script> -->
-<!-- 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> -->
-<!-- slide-numbers: true -->
 ---
 
 # Les types