Become a MacRumors Supporter for $50/year with no ads, ability to filter front page stories, and private forums.
That was a statement, not a question, but I'm assuming you're asking either "How do I do this" or "Will this work".

If the files already use DivX video (or a variant close enough that your DVD player can handle it), then all you should need to do is burn a disc with them on it. So far as I know, the Finder will create discs that are fully readable by most (all?) other systems, so your DVD player should be ok with them.

If the files have video in some other format, you're going to need to transcode; FFMPEG will do this well, although the interface is a little complex if you don't know what you're doing.

If you don't know how to check, open the file in QuickTime Player and do a Get Info, then look at the video format--it should say DivX or something similar. You could also use VLC and do the same thing--in the Information window, go to Advanced Information and see what Stream 0 (or maybe Stream 1) says--if it says DX50, it's DivX.
 
Burning avis

Thats easy as pie. I use divx player. Import your avi files, then drag them to the righthand side of the screen where you see a picture of a disk, drop em' and click "burn". I also have a dvd player that does avis, but i usually go to my windows machine and use a vso program(ConvertXtoDVD 3.1.1.32). It is magical!
Failing that AVS also makes some cheaper programs for dvd creation from originals, but I have never used em'. But avi files..thats really very easy. In fact you could probably just copy paste. I have noticed that here is a codec situation in mac just like in windows so I downloaded a thing called Perian which has been very helpful. Hope this clears it up for ya.
 
Register on MacRumors! This sidebar will go away, and you'll see fewer ads.