Remove unused SPHINXLINT
var from Doc/Makefile
.#110570
Merged
ezio-melotti merged 1 commit intopython:mainfrom Oct 9, 2023
Merged
Remove unused `SPHINXLINT` var from `Doc/Makefile`.#110570ezio-melotti merged 1 commit intopython:mainfrom
ezio-melotti merged 1 commit intopython:mainfrom