Doc: do not compress .epub for dist, it is already zipped.