remove one HTML info file from repository