diff --git a/docs/conf_common.py b/docs/conf_common.py index b343eb0849..4c1d5a0cf0 100644 --- a/docs/conf_common.py +++ b/docs/conf_common.py @@ -252,6 +252,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'