move almost everything to the Makefile

.gitlab-ci.yml

@@ -11,14 +11,7 @@
     ],
     "script": [
       "make clean",
-      "make linklist",
-      "rm -rf public",
-      "mkdir -p public/foils public/notes",
-      "cp -r html public/",
-      "cp foils/the_m_irabilos.png public/foils/",
-      "cp notes/*.htm public/notes/",
-      "make clean",
-      "sed 's!\\.\\./!!g' <build/pages-stub.htm >public/index.html"
+      "make pages"
     ],
     "stage": "deploy"
   }

Makefile

@@ -40,5 +40,15 @@ linklist:
 clean:
 	-${MAKE} -C tex clean
 	-${MAKE} -C notes clean
+	-rm -rf public
 
-.PHONY: all run debug edit export show pdf linklist clean
+pages:
+	${MAKE} -C notes all
+	${MAKE} -C tex all
+	mkdir -p public/foils public/notes
+	cp -r html public/
+	cp foils/the_m_irabilos.png public/foils/
+	cp notes/*.htm public/notes/
+	sed 's!\\.\\./!!g' <build/pages-stub.htm >public/index.html
+
+.PHONY: all run debug edit export show pdf linklist clean pages