diff --git a/docs/conf_common.py b/docs/conf_common.py index ad9484cd09..807b782a56 100644 --- a/docs/conf_common.py +++ b/docs/conf_common.py @@ -235,6 +235,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'