That link failed to compile nicely to html when I put it into the doc file.  It seems to me that telling them to run 'make' here is the logical place, even if they don't need it yet.