diff --git a/doc/conf.py b/doc/conf.py index 2785ec5438b..388ccd66015 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -313,6 +313,11 @@ graphviz_dot_args = [ "-Ecolor=gray60", ] +# -- Options for sphinx_copybutton ---------------------------------------- + +copybutton_prompt_text = r"\$ |uart:~\$ " +copybutton_prompt_is_regexp = True + # -- Linkcheck options ---------------------------------------------------- extlinks = {