5 Commits (66eb64b6136da4b7e1e143e308be8a626d50f080)

Author	SHA1	Message	Date
LEdoian	1f2758edce	Ignore the built hardcover	1 year ago
LEdoian	b9b06990f4	Force make to always build the thesis ... 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.	1 year ago
LEdoian	e390656d18	Also ignore PDF/A metadata	1 year ago
LEdoian	acef8a69d3	Ignore more files ... I do not care about this and it messes up `git status`, which I use to check, what is changed.	1 year ago
LEdoian	9f386ca280	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…	1 year ago