Add GitHub workflow file to generate docs
Some checks failed
Docs / docs (push) Has been cancelled
Docs / deploy (push) Has been cancelled

This commit is contained in:
T. R. Bernstein
2026-03-12 16:07:50 +01:00
parent 295b701be1
commit 37aa0ef713
2 changed files with 127 additions and 0 deletions

66
.github/workflows/index.tpl.html vendored Normal file

File diff suppressed because one or more lines are too long