Assuming you are working on a Windows computer (you still haven't said), you need to go to Publish & Share and then select the Computer option, as I said earlier.
In the set of Computer outputs you will find the AVI output listed.
But, as I've said, which AVI output you use depends on how you're going to use the AVI you output.
