Vincent Jicquel df72f40d2d Make pagefind sphinx invocation more suitable for templates ...

We do all the work inside Sphinx, instead of requiring a change
in the Makefile:

we generate html titles ids through Sphinx
we call pagefind though sphinx instead

As a bonus, we introduce a small extension dedicated to pagefind.

Comes from the work of Boris Yakobowski <yakobowski@adacore.com>

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

..

pagefind.css

Make pagefind sphinx invocation more suitable for templates

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