Re: [PATCH 1/3] common: Add URLs to manuals

2020-01-20 Thread Chris Johns
> On 21 Jan 2020, at 4:16 am, Gedare Bloom wrote: > > On Sun, Jan 19, 2020 at 10:35 PM Chris Johns wrote: >> >>> On 20/1/20 4:38 pm, Chris Johns wrote: >>> On 3/1/20 11:31 pm, Sebastian Huber wrote: --- common/rtemsdomain.py | 14 +- 1 file changed, 13 insertions(+),

Re: [PATCH 1/3] common: Add URLs to manuals

2020-01-20 Thread Gedare Bloom
On Sun, Jan 19, 2020 at 10:35 PM Chris Johns wrote: > > On 20/1/20 4:38 pm, Chris Johns wrote: > > On 3/1/20 11:31 pm, Sebastian Huber wrote: > >> --- > >> common/rtemsdomain.py | 14 +- > >> 1 file changed, 13 insertions(+), 1 deletion(-) > >> > >> diff --git a/common/rtemsdomain.py

Re: [PATCH 1/3] common: Add URLs to manuals

2020-01-19 Thread Chris Johns
On 20/1/20 4:38 pm, Chris Johns wrote: > On 3/1/20 11:31 pm, Sebastian Huber wrote: >> --- >> common/rtemsdomain.py | 14 +- >> 1 file changed, 13 insertions(+), 1 deletion(-) >> >> diff --git a/common/rtemsdomain.py b/common/rtemsdomain.py >> index 49d0728..018e7ed 100644 >> --- a/com

Re: [PATCH 1/3] common: Add URLs to manuals

2020-01-19 Thread Chris Johns
On 3/1/20 11:31 pm, Sebastian Huber wrote: > --- > common/rtemsdomain.py | 14 +- > 1 file changed, 13 insertions(+), 1 deletion(-) > > diff --git a/common/rtemsdomain.py b/common/rtemsdomain.py > index 49d0728..018e7ed 100644 > --- a/common/rtemsdomain.py > +++ b/common/rtemsdomain.p

[PATCH 1/3] common: Add URLs to manuals

2020-01-03 Thread Sebastian Huber
--- common/rtemsdomain.py | 14 +- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/common/rtemsdomain.py b/common/rtemsdomain.py index 49d0728..018e7ed 100644 --- a/common/rtemsdomain.py +++ b/common/rtemsdomain.py @@ -43,7 +43,19 @@ role_url = { "review":