docs: Attempt to fix pdf-gen.