updated makefile and gitlab-ci to copy index.html

.gitlab-ci.yml

-image: omalaspinas/archlinux-pandoc:latest
+image: omalaspinas/pandoc:latest
 
 before_script:
    ##

Makefile

@@ -10,7 +10,7 @@ HTMLOPTIONS += -t html5
 HTMLOPTIONS += -c css/styling.css
 HTMLOPTIONS += --self-contained
 
-all: base_1.pdf intro.pdf
+all: base_1.pdf intro.pdf index.html
 
 intro.pdf: intro.md *.theme
 	pandoc -t beamer -o $@ $<
@@ -24,6 +24,7 @@ index.html: index.md
 deploy: all
 	mkdir -p prog_seq_c_cours
 	cp *.pdf prog_seq_c_cours
+	cp index.html prog_seq_c_cours/
 
 clean:
-	rm -f *.pdf
+	rm -f *.pdf index.html