2 Commits

Author	SHA1	Message	Date
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
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