Simplify CI by removing gen directory?

I don't think we need the gen directory anymore. I think if we just copy all the html files to the public dir as well as all the generated texinfo docs, we will have everything we need. And since public is cached, the different stages will get the right thing until it all gets deployed.