Vincent Jicquel 415410cbb8 Fix documentation indexing issue in search bar ...

Pagefind search was not redirecting correctly to the index page
(genindex.html). This issue was caused by index.html being automatically
removed by Pagefind, leaving only the invalid URL "gen".

Fixes eng/gpr/gpr-issues#615

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

..

_static

Make pagefind sphinx invocation more suitable for templates

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

_templates

Make pagefind sphinx invocation more suitable for templates

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

_templates_pagefind

Make pagefind sphinx invocation more suitable for templates

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

ada_pygments.py

GPR User's Guide, initial version.

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

adacore-logo-white.png

Add the AdaCore logo in the docs

2023-11-21 14:03:36 +00:00

conf.py

Make pagefind sphinx invocation more suitable for templates

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

favicon.ico

GPR User's Guide, initial version.

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

gnu_free_documentation_license.rst

GPR User's Guide, initial version.

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

latex_elements.py

Fix gpr2 footer

2024-03-12 14:47:12 +00:00

legacy.rst

Improve built-in functions documentation.

2022-08-10 12:09:13 +00:00

pagefind-sphinx.py

Fix documentation indexing issue in search bar

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