Files
maven-plugins/xdoc/src/dtd

We must edit maven-xdoc.dtd in the ${plugin.resources}/dtd directory

but never maven-xdoc-${currentRelease}.dtd in src/dtd.



Every time a new version of the plugin is released, we copy

${plugin.resources}/dtd/maven-xdoc.dtd into

src/dtd/maven-xdoc-${currentRelease}.dtd.



We store maven-xdoc-${currentRelease}.dtd in the SCM to be able

to re-publish them if necessary.