Re-generate PDF.
Use global config.mk when building RES website.