removed some PDFs from doc/