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
..
lexer	scripts: Fix random typo'd whitespace	2019-09-07 07:54:17 -04:00
only	doc: fix parallel builds	2019-03-29 11:24:32 +01:00
zephyr	doc: ext: link-roles: fix crash when west is available but not used	2020-10-09 11:49:29 +02:00
local_util.py	scripts: Remove unused variables in all Python scripts	2019-03-28 11:06:20 -05:00