Johannes Kanig 5258f6b84b Use pagefind for search in UG and LRM ...

- rename shared_images to shared/images
- move some files to shared/ (or subfolders)
in both lrm and ug:
- adapt to use new shared locations
- copy some shared files in setup step
- configure new search template and custom css in conf.py

2024-08-12 08:12:59 +00:00

..

adacore-logo-white.png

Use pagefind for search in UG and LRM

2024-08-12 08:12:59 +00:00

favicon.ico

Use pagefind for search in UG and LRM

2024-08-12 08:12:59 +00:00