<filepath>plugin.properties</filepath> file The plugin.properties file is used to store configuration properties that are set by the plug-in installation process. The file is located in the lib/org.dita.dost.platform directory; it is regenerated each time the installation process is run and so should not be edited manually. filesplugin.properties plugin.properties file