The SBCL manuals are built daily from the texinfo sources of the latest CVS head version on 0:00 (Central European/Central European Summer Time) and are on the SBCL site: