Add automatic verapdf checking

This requires the correct version (v1.16.1) of VeraPDF installed, and
then automatically produces the report.

The current version of VeraPDF is not compatible with the profile. I
have no idea why, but it crashes…

en/.gitignore

@@ -0,0 +1 @@
+verapdf_report.xml

en/Makefile

@@ -1,6 +1,6 @@
 export TEXINPUTS=../tex//:
 
-all: thesis.pdf abstract.pdf
+all: thesis.pdf abstract.pdf verapdf_report.xml
 
 # LaTeX must be run multiple times to get references right
 thesis.pdf: thesis.tex $(wildcard *.tex) bibliography.bib thesis.xmpdata
@@ -12,6 +12,9 @@ thesis.pdf: thesis.tex $(wildcard *.tex) bibliography.bib thesis.xmpdata
 abstract.pdf: abstract.tex abstract.xmpdata
 	pdflatex $<
 
+verapdf_report.xml: thesis.pdf abstract.pdf verapdf_profile_UK7987v1c8.xml
+	verapdf --profile verapdf_profile_UK7987v1c8.xml thesis.pdf abstract.pdf >$@
+
 clean:
 	rm -f *.log *.dvi *.aux *.toc *.lof *.lot *.out *.bbl *.blg *.xmpi
 	rm -f thesis.pdf abstract.pdf