Update document type definition for config files.
Merge branch 'master' into TreasureHunter/distribution