Edward Thomson
0f1cb81a0c
Documentation: clean up old documentation
...
Clean up the outdated documentation folder before re-generating it in
place. This accomodates a deleted API.
2024-12-10 23:22:35 +00:00
Edward Thomson
8ae0a22bf9
Documentation: don't resort versions
...
Array.sort() mutates the array _and_ returns it; don't mutate the
version array.
2024-12-09 17:02:37 +00:00
Edward Thomson
5efc00612c
Generate search page in documentation generation
2024-12-09 12:39:21 +00:00
Edward Thomson
89cc5ef8e8
Include documentation generator
...
libgit2 has a new documentation generator that generates API schema from
our headers, then produces reference documentation that is included into
the website directly.
2024-11-25 23:00:07 +00:00
