Anthony Leonardo Gracio
|
0b00f60445
|
Update Tips_and_Tricks.md
|
2025-02-21 11:21:56 +00:00 |
|
Vadim Godunko
|
a3b3e82704
|
Add Tips & Trick
|
2025-02-20 20:35:40 +04:00 |
|
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 |
|
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 |
|