lib/org.dita.dost.platform/plugin.properties
file
The
lib/org.dita.dost.platform/plugin.properties
file is used to store
configuration properties that are set by the integration process. The file is regenerated
each
time the integration process is run and so should not be edited manually.