egoboo is a gpl v2 project that provides some pdf documentation files in the same tarball as the source. Is it OK to distribute those? (I didn't any other license noted in these files but I could have missed one.)