Avi to dvd-one program?

I read the tutorial on divx to dvd. Is there one program that converts avi back to dvd?

DivX is a codec, AVI is a container format. It is most likely that the DivX to DVD tutorial was about AVI to DVD.