Based on Christian saying it works and me confirming that, I pushed this.
Thanks a lot Chris!
--joel
On Wed, Feb 21, 2024 at 2:22 AM Christian MAUDERER <
christian.maude...@embedded-brains.de> wrote:
> Hello Chris,
>
> On 2024-02-21 06:16, Chris Johns wrote:
> > Hi,
> >
> > I have a patch for
Hello Chris,
On 2024-02-21 06:16, Chris Johns wrote:
Hi,
I have a patch for rtems-docs.git to move us to the pip installed
sphinx-rtd-theme removing the custom theme based on sphinx-rtd-theme we
currently use.
I think reducing RTEMS specific adaptions is a great idea. So thank you
for
Hi,
I have a patch for rtems-docs.git to move us to the pip installed
sphinx-rtd-theme removing the custom theme based on sphinx-rtd-theme we
currently use.
The ticket is #4994.
The patch is over 4M in size as it deletes common/sphinx_rtd_theme_rtems. YOu
can download it from:
Hi,
I have a patch for rtems-docs.git to move us to the pip installed
sphinx-rtd-theme removing the custom theme based on sphinx-rtd-theme we
currently use.
The ticket is #4994.
The patch is over 4M in size as it deletes common/sphinx_rtd_theme_rtems. YOu
can download it from:
