diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 3e8d97c688fc1be5fe1004b27a5ccb283d07fa72..ac01a8919afa6d1ec3c95497c6dcb70b366ecbcb 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,10 +2,12 @@ image: omalaspinas/archlinux-pandoc:thirdtry build: script: - - cd figs - - ./convert.sh - - cd .. - make artifacts: paths: - "*.html" + - "reveal.js/lib/js/classList.js" + - "reveal.js/plugin/zoom-js/zoom.js" + - "reveal.js/plugin/highlight/highlight.js" + - "js/remote-diagrams.js" + - "reveal.js/plugin/notes/notes.js" diff --git a/Makefile b/Makefile index f565f3de62dde2460cdc882d457df4cae3a3775a..c69428daf1687c6e6b7525eadeff180e0f0a5ba0 100644 --- a/Makefile +++ b/Makefile @@ -28,7 +28,10 @@ REVEALOPRIONS += --self-contained # all: cours.pdf cours.html -all: intro.html variables.html +all: figs/convert.sh intro.html variables.html + +figs/convert.sh: $(wildcard *.svg) + cd figs; ./convert.sh # cours.pdf: cours.md Makefile # pandoc -s $(BEAMEROPTIONS) -o $@ $< diff --git a/variables.md b/variables.md index eac9505e0d4e9b1f5fcd26c7ddcc7237d10e5f91..cd466f4a78ceca9b5de8b31ec3c6cf7efcfc2f7b 100644 --- a/variables.md +++ b/variables.md @@ -9,11 +9,11 @@ header-includes: <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> + <!-- <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>