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

..

.gitignore

Q922-022 change version handling of SPARK doc

2017-09-28 09:46:39 +02:00

ada_pygments.py

Update Ada pygments for new attribute Initialized

2024-05-30 15:48:41 +02:00

pagefind-sphinx.py

Use Boris' pagefind extension for SPARK doc

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

whyml_pygments.py

UA26-010 enforce python styles via flake8 and black

2021-12-16 10:26:01 +09:00