Use Makefile rules to generate documentation

And regenerate documentation.
This commit is contained in:
Samuel Thibault 2023-12-24 15:41:30 +01:00
parent 986961ad5d
commit 6be06966e3
8 changed files with 953 additions and 316 deletions

File diff suppressed because it is too large Load diff