Nicolas Boulenguez 4d41cb85a4 sphinx: remove unused extensions ...

None of the listed extensions is actually used.
When one is missing, the build crashes.

2021-10-25 18:08:10 +02:00

..

conf.py

sphinx: remove unused extensions

2021-10-25 18:08:10 +02:00

important.png

Import documentation from the obsolete GNATcoll monorepo

2020-02-10 12:42:48 +01:00

index.rst

Import documentation from the obsolete GNATcoll monorepo

2020-02-10 12:42:48 +01:00

Makefile

Import documentation from the obsolete GNATcoll monorepo

2020-02-10 12:42:48 +01:00

note.png

Import documentation from the obsolete GNATcoll monorepo

2020-02-10 12:42:48 +01:00

sql.rst

GNATCOLL.SQL example

2021-01-10 16:40:35 +06:00

tip.png

Import documentation from the obsolete GNATcoll monorepo

2020-02-10 12:42:48 +01:00

xref.rst

Fix various typos and headers, bump copyright.

2020-06-12 19:29:25 +02:00