I think I saw a screenshot somewhere of DivX as a CODEC option and it has been discussed here. Is this a plug-in? It doesn’t show up for me in 2.28c.
You have to choose AVI codec output, and then select the proper codec in the list.
I do that, but DivX is not in the list.
Then it is likely that you don’t have the codec installed on your machine.
(Are you using Windows ? )
Install it from : http://www.divx.com/
Did it! It works! Thanks.