convert to divx?

[DaveDenis]

All of the tivo to vcd guides have been a tremedous help. But does
anyone have a tivo to divx guide? I usually rip a few shows straight
into MPEG2 to watch on the train in WinDVD. But the laptop harddrive
I have is only 6 megs and fills up quickly, so I'd like to squeeze a
little more there and figure this would be the best way. I realize I
could do all the same steps but then just encode to Divx in Virtual
Dub but I was hoping for something with less steps like going from .ty
-> .mpg -> divx rather than splitting the file.

Dave