This is much simpler and friendlier than trying to cover all the actual
dependencies (including pictures, build process itself, &c.)
Yes, it dumbs down make to be a worse shell script. This is a quick
hack, I do not care.
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…