Make build run faster.

By not building the PDFs we shouldn't run into as many build failures on
pull requests. This does mean that we might have some surprise failures
when building the docs, but I'd rather not have many false negatives in
pull requests.