Three formats are available for the combined ACL2+Books XDOC manual, as indicated by the links below.
manual.tar.bz2
manual.tar.gz
manual.zip