Move spec to "doc.tex" and update Makefile/pipeline

.gitlab-ci.yml

@@ -6,11 +6,11 @@ before_script:
 build:
     script:
     - cd spec
-    - pdflatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
+    - lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
     - bibtex  "doc"
-    - pdflatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
+    - lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
     - bibtex  "doc"
-    - pdflatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
+    - lualatex -shell-escape -recorder '\def\nocomments{}\input{doc.tex}'
     - cd ..
     - cp spec/doc.pdf specification.pdf
     artifacts:

spec/Makefile

-backport:
-	SOURCE_DATE_EPOCH=$(date +%s) latexmk -pdf -pvc -interaction=nonstopmode -shell-escape -lualatex spec
-
-comments:
-	latexmk -pdf -shell-escape doc
+nix:
+	SOURCE_DATE_EPOCH=$(date +%s) latexmk -pdf -pvc -interaction=nonstopmode -shell-escape -lualatex doc
 
 doc:
-	latexmk -pdf -shell-escape -jobname=comments -pdflatex="pdflatex %O '\def\nocomments{}\input{%S}'" doc
-	
+	latexmk -pdf -shell-escape -lualatex doc
+
 nonstop:
-	latexmk -pdf -interaction=nonstopmode -shell-escape doc
+	latexmk -interaction=nonstopmode -pdf -shell-escape -lualatex doc