Removed unused files, now document compilation is much easier