Generating documentation help

[Adam D. Ruppe]

On Wednesday, 20 January 2021 at 01:00:32 UTC, Tim wrote:
> But if I deleted index.html then reran the doc gen, it worked 
> just fine. Looks like index.html is not being updated

oooooh yeah i forgot i did that.... cuz I so often build 
individual files and it deleting the index annoyed me....

oops, i should prolly make that a command line arg or something.

so yeah my error but now we know.