Closed dstebila closed 2 months ago
It seems that Doxygen has strong opinions about upper/lowercase on anchors generated from Markdown, and these opinions differ from Github's choices. In my tests the links still scroll to the right anchors in the cross-referenced page, but someone else please confirm. It would be annoying to break cross-references in one program to make them work in another program, and vice versa.
Do we want to merge this now for inclusion in 0.11.0? I can't think of a risk that would merit a new release candidate, but want to check if anyone has another opinion.
Do we want to merge this now for inclusion in 0.11.0? I can't think of a risk that would merit a new release candidate, but want to check if anyone has another opinion.
I can't imagine any risk in including this, and it would be nice to have working release docs on macOS.
I will go ahead and hit merge, as there seems to be consensus (based on approvals/thumbs-ups) that (1) this is desirable for the release and (2) it's not necessary to cut a new RC.
Thanks Spencer!
Fixes #1897.