I tried to install sbcl from the binary distribution (1.0.12) on my
64-bin linux. The binaries installed fine, but the documentation
files were missing from the distribution.
I solved the problem by downloading the latest (1.0.14) version
source, and compiled & installing it.
So, this is post is mostly an FYI, and I am not sure what is the best
place to announce it.