Hi Werner, > > Oh, yes you're right. Didn't noticed that because I've looked at the > _media files first. The pictures are mostly identical to the English > pictures. > > Thus, I will keep those files for the rpm, even if it doubles the rpm > size. >
Hmmm, maybe I can find a clever way of post processing the downloaded pages and get rid of the 00* media files if they are identical. I'll try something like that for the next release as I noticed the size of the doc tarball has grown a bit as well. -Ales _______________________________________________ geda-dev mailing list [email protected] http://www.seul.org/cgi-bin/mailman/listinfo/geda-dev
