Changeset 204ac80 in rtems-docs

Timestamp:
02/21/24 05:07:04 (2 months ago)
Author:
Chris Johns <chrisj@…>
Branches:
master
Children:
24cce92
Parents:
bb7dded
git-author:
Chris Johns <chrisj@…> (02/21/24 05:07:04)
git-committer:
Joel Sherrill <joel@…> (02/21/24 13:44:36)
Message:

sphinx: Use the pip installed sphinx-rtd-theme

  • Remove the RTEMS version of the theme
  • Use conf.py to specify our style sheet
  • Depend on the jQuery contrib package for including jQuery
  • Detect the theme is installed

Closes #4994

(No files)

Note: See TracChangeset for help on using the changeset viewer.