Closed ngzhian closed 4 years ago
Update the table generation script and then run it to generate the index. This depends on the execution semantics (for all the references.)
Thanks for the review, I'll merge this in since it's ready, but the links on the index will be broken since #340 is not in yet (which is fine since it doesn't break the build and no one is reading it anyway)
Update the table generation script and then run it to generate the index. This depends on the execution semantics (for all the references.)