Large ISO file, too big for 4.7GB

Anything free out there I can use to make it fit to one dvd-r?

Original source is AVI, so if there is something FREE to use to compress that first, i’m all ears. :rolleyes:

“DVD Shrink” can shrink an ISO. Free