Burn AVI file to DVD on Linux

What is the most streamlined process in Linux for getting a high quality .AVI file burned to DVD disk for playback on normal DVD players?

Convert Xvid or Avi to DVD Format in Ubuntu,
also the Ubuntuforums thread Convert AVI to DVD ISO.
_{Also read through the comments for more references (like, DeVeDe)}.

Here is one more article I located recently when trying to backup an Audio CD:
The Ultimate Guide To Manage Your Audio/Video Files In Linux
a nice reference for multiple related tools.

If you're talking about a front-end GUI app, look at Devede.

Use Avidemux (Available for Linux and Windows).

Detailed video on converting to DVD format here. You'll also want the DVD authoring guide.

define 'normal' DVD-Player.

DivX support is pretty much standard for set top boxes today, so burning your AVI file(s) onto a data DVD should suffice.

Tovid might be what you're looking for. Here's an example

tovid mpg -in ski_trip.mov -out ski_trip
tovid mpg -in florida.mov -out florida
tovid mpg -in recital.mov -out recital
tovid menu "Steamboat Ski Weekend" "Florida Beach Vacation" "My Piano Recital" -out main_menu
tovid xml -menu main_menu.mpg ski_trip.mpg florida.mpg recital.mpg -out my_dvd
tovid dvd -burn my_dvd.xml

Here's a link to the Tovid wiki which has details on installing and setting it up.