install.ins

Settings and installation script

An .ins file contains settings or installation instructions in plain text. On Windows, Internet settings files with this extension configured Internet Explorer deployments. In TeX distributions, .ins files drive the docstrip tool, which unpacks package sources. The two uses share only the extension. The content shows which kind a file is.

A file extension is only a part of the file name. It does not give a guarantee about the format or the content of a file. But on Windows, the extension selects the program that opens the file.