By default, don’t regenerate PDF.

If it looks different to the version in git, then regenerate it. There’s
also a --rebuild switch to override.