daniel 40544ff73b py-sphinx no longer depends on py-sphinx_rtd_theme ...

Release 1.4 of py-sphinx made this dependency optional. So adapt the port
to match. Instead we add a BUILD_DEP on py-sphinx_rtd_theme to the 3 ports
that actually depend on it. This may make updating py-sphinx_rtd_theme a
bit easier to update in the future as fewer consumers would need testing.

ok kmos@, sthen@

2020-12-02 00:50:25 +00:00

..

pkg

…

distinfo

…

Makefile

py-sphinx no longer depends on py-sphinx_rtd_theme

2020-12-02 00:50:25 +00:00