comparison doc/pom.xml @ 1678:e3de0d89e1c1

use special web.xml when building pdf servlet. building with -ppdf uses web-pdf.xml as web.xml.
author Robert Casties <casties@mpiwg-berlin.mpg.de>
date Wed, 31 Jan 2018 19:55:25 +0100
parents c1e50875a6a3
children f6f0fd16c8e2 93b59a801711
comparison
equal deleted inserted replaced
1677:d397cdea832c 1678:e3de0d89e1c1