Pierre Béguet 0d438b840b Fix documentation about jobservers ...

Issue: eng/gpr/gpr-issues#432


(cherry picked from commit 423ed3e96c)

Co-authored-by: Pierre Béguet <pbeguet@adacore.com>

2024-12-06 13:56:17 +00:00

..

gprbuild_ug

Fix documentation about jobservers

2024-12-06 13:56:17 +00: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