Jeff Widman 0ca1f6b241 Install custom Sphinx theme via extras_require (#250) ...

Previously the custom theme was vendored in via a `git` submodule...

Now this theme is available via a python package, so install it using `extras_require` instead.

This also unlocks letting other tooling such as ReadTheDocs install the custom theme without having to do custom git incantations.

I also removed the `index_logo` config as Sphinx warns that it's not a supported option by the theme. I grep'd the theme package, and it makes no mention of this option, besides we were leaving it blank already, so there's no point in having it.

2024-04-24 07:40:27 -07:00

..

_static

Add detailed docs on the built-in panels

2015-04-14 17:22:07 -07:00

_templates

Add skeleton for Sphinx docs (re #12)

2012-02-15 18:15:41 -08:00

_themes @ 1cc44686f0

Add detailed docs on the built-in panels

2015-04-14 17:22:07 -07:00

conf.py

Install custom Sphinx theme via extras_require (#250)

2024-04-24 07:40:27 -07:00

index.rst

Add profile dump stats option

2023-12-13 10:47:24 -07:00

Makefile

Docs Makefile needs to ensure git submodules are initialized

2013-02-21 13:43:27 -08:00

panels.rst

Fix outdated docs links (#187)

2022-11-02 12:51:06 -07:00