docs: Get rid of old LaTeX documentation #4203
| Job | Run time |
|---|---|
| 20m 41s | |
| 22m 0s | |
| 27m 15s | |
| 24m 16s | |
| 13m 3s | |
| 21m 36s | |
| 26m 43s | |
| 27m 56s | |
| 29s | |
| 28m 46s | |
| 11m 0s | |
| 36m 6s | |
| 27m 59s | |
| 28m 6s | |
| 34m 12s | |
| 23m 19s | |
| 9m 44s | |
| 28m 2s | |
| 18m 25s | |
| 8m 50s | |
| 9m 23s | |
| 19m 0s | |
| 18m 1s | |
| 17m 10s | |
| 8h 22m 2s |
| Job | Run time |
|---|---|
| 20m 41s | |
| 22m 0s | |
| 27m 15s | |
| 24m 16s | |
| 13m 3s | |
| 21m 36s | |
| 26m 43s | |
| 27m 56s | |
| 29s | |
| 28m 46s | |
| 11m 0s | |
| 36m 6s | |
| 27m 59s | |
| 28m 6s | |
| 34m 12s | |
| 23m 19s | |
| 9m 44s | |
| 28m 2s | |
| 18m 25s | |
| 8m 50s | |
| 9m 23s | |
| 19m 0s | |
| 18m 1s | |
| 17m 10s | |
| 8h 22m 2s |