Changed such that optional appendicies are generated by pp2html.xsl by passing the appendicize parameter to the transform (see the Makefile).
Merge branch 'master' of ssh://github.com/commoncriteria/application