added missing synchronizer.properties for doc publishing