Merge branch 'improvements-suggested-by-martin' into 'main'

improvements suggested by martin

See merge request !1

.gitlab-ci.yml

@@ -11,21 +11,15 @@ stages:
 
 build:
   stage: build
-  tags:
-    - dockered
   artifacts:
+    when: always
     paths:
-      - $FILEDIR/$FILENAME.pdf
-      - $FILEDIR/build_$FILENAME.log
-  script:
-    - cd "$FILEDIR"
-    - latexmk -pdf "$FILENAME.tex" 2>&1 | tee build_"$FILENAME".log
-    - 'grep -v "LaTeX Warning: There were undefined references." build_"$FILENAME".log'
+      - thesis.pdf
+      - thesis.log
+  script: make
 
 diff:
   stage: diff
-  tags:
-    - dockered
   artifacts:
     paths:
       - $FILEDIR/difftag_$FILENAME.pdf

Makefile

-target clean:
-	latexmk -C
-	rm *.bbl *.tdo *.bpn *.run.xml
-
-target:
-	`pwd`/run
+.PHONY: all
+all:
+	latexmk thesis
 
+.PHONY: clean
+clean:
+	latexmk -C

latexmkrc

+#!/usr/bin/env perl
+$pdf_mode = 1;
+$pdflatex = "pdflatex -file-line-error -interaction=nonstopmode %O %S";

run

-#!/bin/sh
-
-latexmk -pdf thesis.tex