web2c.texi, line 177 says that "anyone who gets a binary distribution must also get the sources, as explained by the terms of the GPL". This is clearly not the case as explained in http://www.gnu.org/licenses/gpl-faq.html#HowCanIMakeSureEachDownloadGetsSource