HTML是一种标记语言，可以用于构建网页和应用程序。在HTML中，可以使用AVI视频文件来在网页中嵌入视频内容。

<video width="320" height="240" controls><source src="movie.avi" type="video/avi"></video>

上面的代码是一段HTML代码，它使用了<video>标签来定义视频区域，并使用<source>标签指定了AVI视频文件的位置和类型。

其中，width和height属性用来定义视频区域的宽度和高度，controls属性可以让用户控制视频的播放暂停和进度。

在<source>标签中，src属性定义了视频文件的位置，而type属性用来指定视频文件的类型。对于AVI视频文件，可以使用type="video/avi"。

如果希望使用其他类型的视频文件，可以根据实际情况更改type属性的取值。另外，还可以在<video>标签中添加其他属性，如autoplay属性可以让视频自动播放。

<video width="320" height="240" controls autoplay><source src="movie.mp4" type="video/mp4"></video>

上面的代码将自动播放一个MP4视频文件。注意，autoplay属性可能会被一些浏览器禁用，所以不建议过度使用。