SIGN IN SIGN UP

[3.12] Remove unused `SPHINXLINT` var from `Doc/Makefile`. (GH-110570) (#110585)

Remove unused `SPHINXLINT` var from `Doc/Makefile`. (GH-110570)

Remove unused `SPHINXLINT` var.
(cherry picked from commit bdbe43c7d0ad5ebda0232a4ab39689ea79a9733a)

Co-authored-by: Ezio Melotti <ezio.melotti@gmail.com>
M
Miss Islington (bot) committed
c8bffd1667f4df4a6d2f31c1e9761f96940f8d6d
Parent: 1f43bc2
Committed by GitHub <noreply@github.com> on 10/10/2023, 1:14:00 AM