comparison README.md @ 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 a243eb5cc480
children 439aefc7a6c9
comparison
equal deleted inserted replaced
1677:d397cdea832c 1678:e3de0d89e1c1