diff --git a/docs/checkstyle_checks.xml b/docs/checkstyle_checks.xml index ca74c3c7d..c5b46e3d4 100644 --- a/docs/checkstyle_checks.xml +++ b/docs/checkstyle_checks.xml @@ -1,4 +1,5 @@ + @@ -40,22 +41,23 @@ - - - + + + DOT - - - - - + + + + + DOT - - - + + + + diff --git a/docs/configuration.dtd b/docs/configuration.dtd new file mode 100644 index 000000000..d7c2aa565 --- /dev/null +++ b/docs/configuration.dtd @@ -0,0 +1,12 @@ + + + + + + + + \ No newline at end of file