Commit Graph

4 Commits

Author SHA1 Message Date
Vadim Godunko
f3e9f566d6 Adapt to recent enhancements of GNATdoc 2022-07-23 10:02:34 +03:00
Maxim Reznik
a5f4881e56 Use new gnatdoc to generate documentation 2022-05-19 21:14:23 +03:00
Nicolas Setton
f255a08dfe Point the reference manual to the github.io page 2021-02-12 11:14:36 +00:00
Maxim Reznik
dffd9471ee U114-013 Add docs building script 2021-02-02 19:08:35 +02:00