Remove the HTML documentation.

This wasn't really maintained. A following commit will instead setup a markdown documentation, which can be used to generate proper HTML documentation if needed, and host it on some third-party service if needed. Pull request yugabyte#125, fixes yugabyte#123 Backpatch-through: 14 Reviewed-by: Michael Paquier
tvesely · Mar 14, 2023 · 0cb1ea5 · 0cb1ea5
1 parent 8cfd273
commit 0cb1ea5
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 1,578 deletions.
diff --git a/doc/hint_list-ja.html b/doc/hint_list-ja.html
diff --git a/doc/hint_list.html b/doc/hint_list.html