diff --git a/docs/conf_common.py b/docs/conf_common.py index 51adfad4be..5ccdd1e0c6 100644 --- a/docs/conf_common.py +++ b/docs/conf_common.py @@ -236,6 +236,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'