Joel Brobecker 6c562dd010 Switch the HTML documentation to using 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: V905-033
Change-Id: Ie315438ce8e6010d070bc0874c775dd8460ceff2

2022-11-25 20:31:41 +04:00

..

cross

docs: remove erroneous execution permissions

2022-08-06 12:38:05 +02:00

dom

docs: move the only non-ASCII character to a one-line separate file

2022-08-06 12:38:05 +02:00

sax

Q605-023 add VxWorks-friendly tests

2017-06-09 11:29:30 +03:00

schema

Q605-023 add VxWorks-friendly tests

2017-06-09 11:29:30 +03:00

adacore_transparent.png

Convert documentation to Sphinx

2011-12-08 14:27:25 +00:00

conf.py

Switch the HTML documentation to using the RTD theme

2022-11-25 20:31:41 +04:00

dom.rst

Fix file path

2022-08-06 21:09:45 +02:00

favicon.ico

Convert documentation to Sphinx

2011-12-08 14:27:25 +00:00

index.rst

Minor style fix

2011-12-12 09:13:31 +00:00

input.rst

docs: remove commas before ellipses

2022-07-25 05:13:48 +02:00

intro.rst

Fix typos in the docs.

2020-04-18 21:28:32 +02:00

Makefile

Add missing Makefile for the doc

2011-12-09 10:30:03 +00:00

sax.rst

Fix typos in the docs.

2020-04-18 21:28:32 +02:00

schema.rst

docs: quote raw text with double backquotes

2022-07-25 05:16:24 +02:00

unicode.rst

docs: quote raw text with double backquotes

2022-07-25 05:16:24 +02:00

using.rst

docs: quote raw text with double backquotes

2022-07-25 05:16:24 +02:00