Fix link to compiling info. Fixes #13938.

[skip sauce]