making VCDs from .avi files

[Spuuky]

This program converts avi files to mpg files.

And yes, Help is the place for this.

EDIT: You might also try just changing the file extension without actually changing anything. They still play in most players, so it might trick it into working. The advantage of the program above is that it cuts the file size down a lot, in most conversions.