Skip to content
Snippets Groups Projects
Commit 95c83a2b authored by orestis.malaspin's avatar orestis.malaspin
Browse files

modified makefile to have all options in it instead of md for compatibility

parent 365402ba
No related branches found
No related tags found
No related merge requests found
Pipeline #
...@@ -14,17 +14,24 @@ REVEALOPRIONS = -t revealjs ...@@ -14,17 +14,24 @@ REVEALOPRIONS = -t revealjs
REVEALOPRIONS += --template ./default.revealjs REVEALOPRIONS += --template ./default.revealjs
# REVEALOPRIONS += -V theme=moon # REVEALOPRIONS += -V theme=moon
REVEALOPRIONS += -V center=true REVEALOPRIONS += -V center=true
REVEALOPRIONS += -V margin=0 # REVEALOPRIONS += -V margin=0
REVEALOPRIONS += -V minScale=0.2 # REVEALOPRIONS += -V minScale=0.2
REVEALOPRIONS += -V maxScale=2.0 # REVEALOPRIONS += -V maxScale=2.0
# REVEALOPRIONS += -V width="1920" -V height="1080" -V margin=0 -V center=false 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>"
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">\
<script src="jquery/dist/jquery.min.js"></script>"
REVEALOPRIONS += --section-divs REVEALOPRIONS += --section-divs
# REVEALOPRIONS += -V fontsize=tiny # REVEALOPRIONS += -V fontsize=tiny
REVEALOPRIONS += -V slideNumber=true REVEALOPRIONS += -V slideNumber=true
REVEALOPRIONS += --slide-level=1 REVEALOPRIONS += --slide-level=1
# REVEALOPRIONS += --highlight-style espresso # REVEALOPRIONS += --highlight-style espresso
REVEALOPRIONS += --self-contained REVEALOPRIONS += --self-contained
# REVEALOPRIONS += --include-in-header=reveal.js/left_just.css
SVG=$(wildcard figs/*.svg) SVG=$(wildcard figs/*.svg)
PNG=$(SVG:%.svg=%.png) PNG=$(SVG:%.svg=%.png)
......
...@@ -14,10 +14,8 @@ include-after: ...@@ -14,10 +14,8 @@ include-after:
<script src="js/remote-code.js"></script> <script src="js/remote-code.js"></script>
<script src="js/remote-diagrams.js"></script> <script src="js/remote-diagrams.js"></script>
<script src="js/em-artiste.js"></script> <script src="js/em-artiste.js"></script>
width: pdfMaxPagesPerSlide:
1500 1
height:
1500
<!-- slide-numbers: true --> <!-- slide-numbers: true -->
--- ---
......
...@@ -4,25 +4,21 @@ subtitle: Types ...@@ -4,25 +4,21 @@ subtitle: Types
author: Orestis Malaspinas author: Orestis Malaspinas
<!-- date: 25 avril 2018 --> <!-- date: 25 avril 2018 -->
sansfont: Sans Serif sansfont: Sans Serif
header-includes: <!-- header-includes:
<link rel="stylesheet" href="reveal.js/lib/css/zenburn.css" > <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="reveal.js/css/theme/simple.css" id="theme">
<link rel="stylesheet" href="css/console.css" id="theme"> <link rel="stylesheet" href="css/console.css" id="theme">
<script src="jquery/dist/jquery.min.js"></script> <script src="jquery/dist/jquery.min.js"></script> -->
<!-- <script src="reveal.js/lib/js/classList.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/zoom-js/zoom.js"></script> -->
<!-- <script src="reveal.js/plugin/highlight/highlight.js"></script> --> <!-- <script src="reveal.js/plugin/highlight/highlight.js"></script> -->
<!-- <script src="js/remote-diagrams.js"></script> --> <!-- <script src="js/remote-diagrams.js"></script> -->
<!-- <script src="reveal.js/plugin/notes/notes.js"></script> --> <!-- <script src="reveal.js/plugin/notes/notes.js"></script> -->
include-after: <!-- include-after:
<script src="js/playRust.js"></script> <script src="js/playRust.js"></script>
<script src="js/remote-code.js"></script> <script src="js/remote-code.js"></script>
<script src="js/remote-diagrams.js"></script> <script src="js/remote-diagrams.js"></script>
<script src="js/em-artiste.js"></script> <script src="js/em-artiste.js"></script> -->
width:
1500
height:
1500
<!-- slide-numbers: true --> <!-- slide-numbers: true -->
--- ---
......
...@@ -4,25 +4,21 @@ subtitle: Variables ...@@ -4,25 +4,21 @@ subtitle: Variables
author: Orestis Malaspinas author: Orestis Malaspinas
<!-- date: 25 avril 2018 --> <!-- date: 25 avril 2018 -->
sansfont: Sans Serif sansfont: Sans Serif
header-includes: <!-- header-includes:
<link rel="stylesheet" href="reveal.js/lib/css/zenburn.css" > <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="reveal.js/css/theme/simple.css" id="theme">
<link rel="stylesheet" href="css/console.css" id="theme"> <link rel="stylesheet" href="css/console.css" id="theme">
<script src="jquery/dist/jquery.min.js"></script> <script src="jquery/dist/jquery.min.js"></script> -->
<!-- <script src="reveal.js/lib/js/classList.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/zoom-js/zoom.js"></script> -->
<!-- <script src="reveal.js/plugin/highlight/highlight.js"></script> --> <!-- <script src="reveal.js/plugin/highlight/highlight.js"></script> -->
<!-- <script src="js/remote-diagrams.js"></script> --> <!-- <script src="js/remote-diagrams.js"></script> -->
<!-- <script src="reveal.js/plugin/notes/notes.js"></script> --> <!-- <script src="reveal.js/plugin/notes/notes.js"></script> -->
include-after: <!-- include-after:
<script src="js/playRust.js"></script> <script src="js/playRust.js"></script>
<script src="js/remote-code.js"></script> <script src="js/remote-code.js"></script>
<script src="js/remote-diagrams.js"></script> <script src="js/remote-diagrams.js"></script>
<script src="js/em-artiste.js"></script> <script src="js/em-artiste.js"></script> -->
width:
1500
height:
1500
<!-- slide-numbers: true --> <!-- slide-numbers: true -->
--- ---
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment