Marc Herbert d1f25ce326 doc: ext: link-roles: fix crash when west is available but not used ... It should be possible to submit quick documentation fixes without depending on a complete west workspace. Fixes the following crash: Exception occurred: File "west/src/west/util.py", line 82, in west_topdir raise WestNotFound('Could not find a West workspace ' west.util.WestNotFound: Could not find a West workspace in this or any parent directory Fixes ae8dd14887 ("doc: ext: link-roles: allow non-default baseurl") Signed-off-by: Marc Herbert <marc.herbert@intel.com>		2020-10-09 11:49:29 +02:00
..
__init__.py
application.py
html_redirects.py	doc: keep IDs when redirecting URLs	2020-03-11 08:46:26 -04:00
link-roles.py	doc: ext: link-roles: fix crash when west is available but not used	2020-10-09 11:49:29 +02:00