Hi, I was wondering if you might consider changing the "mini.iso" file name to something more unique?
debian/dists/lenny/main/installer-i386/current/images/netboot/mini.iso for instance maybe adding arch like "mini-i386.iso" and "mini-amd64.iso"? While it is true that they are stored on remote download sites with paths that include "%arch%" in the path once downloaded locally it becomes difficult to maintain two isos with the same name and different content. Even better would be to also include major version like "mini-lenny-amd64.iso" or something along those lines. This way it would also be unique across versions. Thanks, Crue baracus-project.org
