Re: [PATCH v3 03/47] [DO-NOT-MERGE] docs/sphinx: change default role to "any"

2020-09-29 Thread John Snow
On 9/28/20 11:30 PM, Cleber Rosa wrote: On Thu, Sep 24, 2020 at 08:28:16PM -0400, John Snow wrote: Signed-off-by: John Snow --- docs/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 0dbd90dc11..a68f616d5a 100644 --- a/docs/conf.py +++

Re: [PATCH v3 03/47] [DO-NOT-MERGE] docs/sphinx: change default role to "any"

2020-09-29 Thread John Snow
On 9/28/20 11:30 PM, Cleber Rosa wrote: On Thu, Sep 24, 2020 at 08:28:16PM -0400, John Snow wrote: Signed-off-by: John Snow --- docs/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 0dbd90dc11..a68f616d5a 100644 --- a/docs/conf.py +++

Re: [PATCH v3 03/47] [DO-NOT-MERGE] docs/sphinx: change default role to "any"

2020-09-28 Thread Cleber Rosa
On Thu, Sep 24, 2020 at 08:28:16PM -0400, John Snow wrote: > Signed-off-by: John Snow > --- > docs/conf.py | 3 +++ > 1 file changed, 3 insertions(+) > > diff --git a/docs/conf.py b/docs/conf.py > index 0dbd90dc11..a68f616d5a 100644 > --- a/docs/conf.py > +++ b/docs/conf.py > @@ -81,6 +81,9 @@

[PATCH v3 03/47] [DO-NOT-MERGE] docs/sphinx: change default role to "any"

2020-09-24 Thread John Snow
Signed-off-by: John Snow --- docs/conf.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/docs/conf.py b/docs/conf.py index 0dbd90dc11..a68f616d5a 100644 --- a/docs/conf.py +++ b/docs/conf.py @@ -81,6 +81,9 @@ # The master toctree document. master_doc = 'index' +# Interpret `this` to