* distfiles.gentoo.org does not support HTTPS any more. * Split -doc before -dev so that example .c files aren't considered -dev. * Modernise / fix syntax.