5 Commits

Author SHA1 Message Date
Vadim Godunko
06d339ccaf Use full path in documentation URI.
It allows link to work in both repository view and generated
documentation cases.

Refs GH #191.
2023-06-05 10:54:09 +04:00
Vadim Godunko
29ef11719c Fix URI of online documentation.
Closes GH #191
2023-06-01 12:22:38 +04:00
Vadim Godunko
f3e9f566d6 Adapt to recent enhancements of GNATdoc 2022-07-23 10:02:34 +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