diff --git a/build.xml b/build.xml index dad44088b..824205115 100644 --- a/build.xml +++ b/build.xml @@ -639,7 +639,8 @@ - + + diff --git a/docs/checkstyle_checks.xml b/docs/checkstyle_checks.xml index c5b46e3d4..96ba863f5 100644 --- a/docs/checkstyle_checks.xml +++ b/docs/checkstyle_checks.xml @@ -1,8 +1,11 @@ + + + diff --git a/docs/configuration.dtd b/docs/configuration.dtd index d7c2aa565..d6b6e7a5c 100644 --- a/docs/configuration.dtd +++ b/docs/configuration.dtd @@ -1,11 +1,15 @@ - + + +