Improve the references for the make syntax checker
Fix broken reference
Rename the makefile used for testing the make checker
Fix syntax checker name
Update Info manual