How can I build / download the documentation?

Hello, I would like to download or build the HTML (not the PDF) documentation. I have therefore cloned the Git repo and run `make docs` as described in the README, but I do not get any html or pdf files. I have attached my attempt. (I have tried to build it on a Debian 12 installation). How exactly do I build the documentation? Regards Marek Küthe -- Marek Küthe m.k@mk16.de er/ihm he/him