5 Commits

Author SHA1 Message Date
bortolussi
6f448e60a8 Add the AdaCore logo in the doc
Also update the background color of the table of content.

eng/toolchain/templates-parser#2
2023-11-13 17:12:52 +01:00
Joel Brobecker
f833aa9539 Switch the documentation's style to use the RTD theme
This commit adjust the sphinx configuration to use the "Read The Docs"
theme, which has the advantage of allowing the navigation bar
(containing among other things a search bar, and the TOC) to stay
fixed while scrolling the contents of the page being read. This is
particularly useful to allow access to those features while reading
a long page, for instance.

TN: VB25-022
2022-11-28 10:18:54 +01:00
Pascal Obry
368752bff0 Fix TEMPLATES_PARSER_VERSION computing using Makefile now.
Fixes T612-032.
2020-06-12 18:38:19 +02:00
Pascal Obry
6811705dd6 Fix building documentation with new version handling. 2020-03-07 09:15:40 +01:00
Pascal Obry
71915d24b1 Move Templates Parser documentation from texinfo format to SPHINX.
Add a way to specify a specific version from the command line
by setting VERSION makefile's variable.

Part of MB14-040.
2013-12-11 13:02:31 +01:00