instructions to generate docs in html like the website

[jtoy]

So people can read docs like the website, but locally.

[bjornbytes]

The conversion to HTML is done in lovr.org. I want to switch to static generation so HTML/JSON/etc. can be generated with a simple script, but haven't prioritized it yet.

[bjornbytes]

I have implemented static generation in a single Lua file: .lua/generate.lua on the redbean branch. I'm working on switching over to this but there are some problems with the markdown library and webhooks blocking that.

The output files can be viewed on their own, but a further step could be to concatenate them all together to get an "all the docs on one page" thing.