gEDA-dev: geda-doc package has some redundant files

[Ales Hvezda]

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