no DivX is a file format. you can rename to an AVI file format using the command prompt and it works like like any other AVI file.
Example:

"you have the the official DivX (brand) converter... you can convert into 4 different types. Qmobile, Mobile (works with PSP avi players) Home theater or High Def. it will save your file as YourVideo.DivX. after it's finished go into DivX movies and open the command prompt there. type: rename yourvideo.DivX (or you lazy enough... yourvideo.*) to yourvideo.avi"

worked for me.