gnu: sbcl: Generate and install documentation.