Animated gifs can end up being very large files.
If you're planning on posting it on a site, you would probably want to use an flv file (that's what YouTube uses). There are quite a few ways to convert it, including using YouTube, but there are also programs that allow you to create flv videos yourself (like JW FLV Media Player
). If you do it yourself, you also need a video player like the [url=http://www.jeroenwijering.com/?item=JW_FLV_Player[/url].
Getting the video from the DVD can also be done in a variety of ways, you can Google "free DVD ripper" and get a few options, this DVD ripper
looks promising. From there you can create an avi file.
It might look convoluted, but as soon as you do it once, it's pretty easy.