Pierre-Marie de Rodat 780bb97e64 Documentation: fix the descriptions of --src-subdirs ...

(cherry picked from commit 3a9005c5cf)

2025-11-06 11:06:29 +01:00

..

__python__

Add missing attribute Linker'Unconditional_Linking

2025-05-19 21:07:41 +02:00

gpr2_user_manual

Minor style and formatting tweaks.

2024-03-21 22:10:15 +00:00

gprbuild_ug

Documentation: fix the descriptions of --src-subdirs

2025-11-06 11:06:29 +01:00

share

Fix documentation indexing issue in search bar

2025-07-11 12:23:05 +02:00

.gitignore

doc generator: improve build infrastructure and adjust the attributes doc

2022-05-02 19:11:51 +02:00

gprbuild_gps.xml

GPR User's Guide, initial version.

2022-04-18 22:42:06 +00:00

gprbuild_ug.rst

Integration of the attribute chapter into Gnat Project Manager documentation

2022-04-28 12:24:21 +00:00

Makefile

Make pagefind sphinx invocation more suitable for templates

2024-10-11 11:08:04 +02:00