search

zeek / zeek-docs

Documentation for Zeek
https://docs.zeek.org
Other
50 stars 70 forks source link

conf: Add sphinx_rtd_theme to extensions, remove env based import #206

Closed awelzel closed 1 year ago

awelzel commented 1 year ago

The RTD build failed with "NameError: name 'html_theme' is not defined".

Remove the conditional import and align to what Spicy and the sphinx_rtd_theme docs [1] indicate should be done.

[1] https://sphinx-rtd-theme.readthedocs.io/en/stable/installing.html

RTD build: https://readthedocs.org/projects/zeek-docs/builds/21704944/

awelzel commented 1 year ago

Something must have changed on the RTD side - I've ended up here which is from a few days ago: https://github.com/readthedocs/readthedocs.org/pull/10638

The build above succeeded, so I think this still makes sense.