docs: fix edit on github link to point to esp-idf

Also add check for IDF_PATH for better error feedback
pull/7497/head
Marius Vikhammer 2021-08-24 17:40:11 +08:00
rodzic da12db2904
commit 8b38e9ecf5
1 zmienionych plików z 4 dodań i 1 usunięć

Wyświetl plik

@ -15,6 +15,9 @@ import os.path
from esp_docs.conf_docs import * # noqa: F403,F401
if os.environ.get('IDF_PATH') is None:
raise RuntimeError('IDF_PATH should be set, run export.sh before building docs')
BT_DOCS = ['api-guides/blufi.rst',
'api-guides/esp-ble-mesh/**',
'api-reference/bluetooth/**']
@ -131,7 +134,7 @@ github_repo = 'espressif/esp-idf'
# context used by sphinx_idf_theme
html_context['github_user'] = 'espressif'
html_context['github_repo'] = 'esp-docs'
html_context['github_repo'] = 'esp-idf'
# Extra options required by sphinx_idf_theme
project_slug = 'esp-idf'