Docs aren't getting uploaded to the site

The latest CI skips building the docs when the texi files haven't changed. Since the public/ dir is removed, I think that means the docs don't get copied.

We need to fix this so the docs get uploaded to the site. I can think of two possible solutions

• Cache the results in the docs in the source directory. And have the deploy stage copy them out to the public directory
• Change the Makefiles to install them to a new place that is cached, and have the deploy stage copy that.