docs: fix misspelled file name (#7863)

The link checker complained the ToC entry didn't match the file name.
Unusually, turns out this was a typo in the file name, not the ToC.
This commit is contained in:
M. J. Fromberger
2022-02-18 07:10:14 -08:00
committed by GitHub
parent c2cce2a696
commit ac9197ed45