Repository navigation

Use rtd config file with htmldir builder - #789

Merged

zware merged 7 commits into

python:mainfrom

hugovk:rtd-build-v2b

Jan 27, 2022

Merged

Use rtd config file with htmldir builder#789
zware merged 7 commits into
python:mainfrom
hugovk:rtd-build-v2b

Commits on Jan 7, 2022
- Use rtd config file with htmldir builder
  
  willingc
  authored and
  hugovk
  committed
  beadd1d
- The htmldir builder option was renamed to dirhtml to use the same name as sphinx
  hugovk
  committed
  33849fa
- python.version is deprecated and replaced by build.tools.python
  hugovk
  committed
  58f1548
- Add newline
  hugovk
  committed
  b5fcb4b
- Add required build.os
  hugovk
  committed
  534f5e5
- Python 3.10 requires newer Sphinx
  hugovk
  committed
  5e33537
- Update Furo
  hugovk
  committed
  47e5d40