Gitignore LaTeX temp files.

6 jobs for master in 18 minutes and 55 seconds
Status Job ID Name Coverage
  Build
passed #46839
fp
build-coq.8.10.0

00:10:14

passed #46838
fp-timing
build-coq.8.10.1

00:07:27

passed #46842
fp
build-coq.8.8.2

00:08:08

passed #46841
fp
build-coq.8.9.0

00:09:45

passed #46840
fp
build-coq.8.9.1

00:08:58

passed #46837
fp
build-coq.dev

00:18:55