DITA Content Management and server side publishing