Pierre-Marie de Rodat 5d18435362 Documentation: fix the descriptions of --src-subdirs ...

(cherry picked from commit 275d2827fd)

2025-11-06 11:05:30 +01:00

..

gprbuild_ug

Documentation: fix the descriptions of --src-subdirs

2025-11-06 11:05:30 +01:00

share

Fix gprbuild documentation

2024-02-29 17:50:07 +01:00

gprbuild_gps.xml

Minor: put back file removed when doc was migrated (P518-064).

2016-05-30 18:18:01 +02:00

gprbuild_ug.rst

doc/gprbuild_ug.rst: Remove front-cover text

2020-10-13 12:49:39 +02:00

Makefile

Remove sphinx.sty

2024-01-31 19:13:42 +01:00