diff --git a/docs/conf_common.py b/docs/conf_common.py index ccb39b1cf4..9cab72ef59 100644 --- a/docs/conf_common.py +++ b/docs/conf_common.py @@ -256,6 +256,8 @@ extensions += ['sphinx_copybutton', # Use wavedrompy as backend, insted of wavedrom-cli render_using_wavedrompy = True +smartquotes = False + # link roles config github_repo = 'espressif/esp-idf'