From dea8d3d5f7ad00a36780f7c546369be892c32e02 Mon Sep 17 00:00:00 2001 From: ruff Date: Sun, 12 Feb 2023 10:57:12 +0100 Subject: [PATCH] Enhance build target "projectdoc" --- build.ant.xml | 5 ++++- build.xml | 1 + 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/build.ant.xml b/build.ant.xml index 7fb5904..7a0f983 100644 --- a/build.ant.xml +++ b/build.ant.xml @@ -251,11 +251,14 @@ - + + + + \ No newline at end of file diff --git a/build.xml b/build.xml index 2e479e2..5581a90 100644 --- a/build.xml +++ b/build.xml @@ -272,6 +272,7 @@ +