1@c This is for making the `INSTALL' file for the distribution.
2@c Makeinfo ignores it when processing the file from the include.
3@setfilename INSTALL
4@set plain
5@include install.texi
6