fix latex

5 jobs for master in 5 minutes and 57 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #5965
fp-timing
build-coq.8.6.1

00:02:53

passed #5964
fp-timing
build-coq.8.7.0

00:02:40

passed #5963
fp-timing
build-coq.8.7.dev

00:02:59

 
  Deploy
passed #5966
opam

00:00:15

passed #5967
reverse-deps

00:00:17