doc: Remove needless files

Because they are tracking in the other repository.