Documentation / PDF failed to build (#1290).