remove doc files as they now have to be generated on their own website (see the wiki on how to generate documentation)