Repository navigation

Define port for htmllive to avoid collisions - #1327

Merged

hugovk merged 4 commits into

python:mainfrom

hugovk:infra-htmllive-port

May 27, 2024

Commits on May 27, 2024
- Define port for htmllive to avoid collisions
  hugovk
  committed
  30ab9d4
- Use Sphinx long options
  hugovk
  committed
  6a4b741
- Add comment, use a range in our repos
  hugovk
  committed
  413abd7
- Update Makefile
  
  hugovk
  and
  ezio-melotti
  authored
  3166db1