A few files that are created by "make pdf" haven't had entries in .gitignore files. Did correct that.
Resolved with commit 64651734ccbd1ac4d24384f5547c08dbecb51f72.
Log in to post a comment.
Resolved with commit 64651734ccbd1ac4d24384f5547c08dbecb51f72.