Fix the docs PDF build