diff --git a/build_tools/doctool/build.xml b/build_tools/doctool/build.xml index e6524f1496..c4870197b6 100644 --- a/build_tools/doctool/build.xml +++ b/build_tools/doctool/build.xml @@ -4,7 +4,11 @@ - + + diff --git a/common.ant.xml b/common.ant.xml index 7b3604ba60..36a56b4882 100755 --- a/common.ant.xml +++ b/common.ant.xml @@ -62,8 +62,7 @@ - - + @@ -158,8 +157,7 @@ - - + @@ -172,7 +170,7 @@ diff --git a/doc/build.xml b/doc/build.xml index 5f41768b2f..10050f29e3 100644 --- a/doc/build.xml +++ b/doc/build.xml @@ -78,7 +78,7 @@