Johannes Kanig 710a51fdf9 Use Boris' pagefind extension for SPARK doc ...

- remove now unused add-id.py file
- add pagefind-sphinx extension to shared sphinx_support folder
- add pagefind-sphinx extensions to extension list in conf.py
- provide pagefind.yml files to specify the location of the sites
- fix file copies in lrm/Makefile
- update .gitignore to ignore copied files

2024-10-16 11:27:24 +00:00

..

images

…

static

…

templates

…