Matthieu Eyraud f5d326f5c7 Add a renaming of the --ignore-source-files switch ...

Deprecate the --ignore-source-files switch in favor of the newly
introduced --excluded-source-files switch for naming consistency
purposes. Also rename the Ignored_Source_Files* project attributes.

2025-12-01 12:05:50 +01:00

..

gnatcov

Add a renaming of the --ignore-source-files switch

2025-12-01 12:05:50 +01:00

gnattest

Update gnattest doc for "--exit-status"

2025-04-16 16:02:29 +02:00

integration

Run the doc sources through a spell checker

2025-03-17 09:26:12 +00:00

adacore-logo-white.png

Update the logo in the docs

2023-10-13 17:02:12 +02:00

conf.py

Replace mentions of GNATDAS with GNAT DAS

2025-09-05 10:56:32 +02:00

favicon.ico

update to the read-the-docs theme

2022-05-03 15:34:02 +01:00

index.rst

Insert the GNATfuzz documentation earlier

2023-12-11 16:22:54 +00:00

latex_preamble.inc

Arrange to reset chapter numbers in pdf doc "parts"

2022-10-08 06:46:02 +00:00

Makefile

Insert the GNATfuzz documentation earlier

2023-12-11 16:22:54 +00:00