Repository navigation

Turn warnings into errors in the Makefile. - #906

Merged

ezio-melotti merged 8 commits into

mainfrom

Jul 13, 2022

Merged

Turn warnings into errors in the Makefile.#906
ezio-melotti merged 8 commits into
mainfrom
warns-2-errs

Commits on Jun 25, 2022
- Turn warnings into errors in the Makefile.
  ezio-melotti
  authored
  886dfe5
- Restore missing label.
  ezio-melotti
  authored
  83a5b77
- Add `--keep-going`.
  
  ezio-melotti
  and
  AA-Turner
  authored
  f4f755d
Commits on Jun 26, 2022
- Add `-W --keep-going -n` to SPHINXOPTS.
  ezio-melotti
  authored
  8b0b957
- Fix a warning in conf.py.
  ezio-melotti
  authored
  7e40493
Commits on Jul 11, 2022
- Merge branch 'main' into warns-2-errs
  ezio-melotti
  committed
  4256422
- Update `make.bat`.
  ezio-melotti
  committed
  e7a517f
Commits on Jul 12, 2022
- Unquote variable in make.bat.
  
  ezio-melotti
  and
  CAM-Gerlach
  authored
  1c25e62