Hi, Just to let you know I did a portupdate on my FreeBSD 9.0 machine and then updated the sbcl port (sbcl-1.0.55.0,1); it fails building if config set the pdf documentation option. Cheers, :Nicolas