Pascal Obry 4c4c5f7076 Add documentation for new --cross-install option. ...

Continued work for TN eng/gpr/gpr-issues#134

2026-02-11 10:43:32 +01:00

..

__python__

Skip link phase when the new attribute Disable_Linking is true

2026-01-22 15:11:21 +00:00

gpr2_user_manual

Minor style and formatting tweaks.

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

gprbuild_ug

Add documentation for new --cross-install option.

2026-02-11 10:43:32 +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