Libremanuals books is being linked from gnu.org https://www.gnu.org/doc/other-free-books.html#Spanish