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	…
only	…
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	…