Fix link to compiling info.

Fixes #13938

CC @cvrebert
Yep. I'll fix it. Thanks.