6 Commits

Author	SHA1	Message	Date
kenjis	b4542a539f	chore: update Sphinx version	2022-06-01 15:59:14 +09:00
kenjis	2f8157dc34	chore: fix ImportError ... ImportError: cannot import name 'environmentfilter' from 'jinja2' (/usr/local/lib/python3.10/site-packages/jinja2/__init__.py) See https://github.com/sphinx-doc/sphinx/issues/10291	2022-03-28 13:04:36 +09:00
Johan Eklund	a79a80de82	[ci skip] Upgrading Sphinx and remove bundled layout.php template	2020-08-14 21:58:21 +02:00
michalsn	ecb8cf9dfc	[ci skip] Fix user guide search functionality. Fixes #3458	2020-08-07 16:29:29 +02:00
Johan Eklund	806bb40a10	Install sphinx_rtd_theme with pip instead of local bundle. [ci skip]	2020-03-14 16:07:59 +01:00
Johan Eklund	af796f0a18	requirements.txt should be in user_guide_src [ci skip]	2020-03-09 22:40:56 +01:00