From 0ee554f88553fe06b2dec3e9b32e29f04c229b7e Mon Sep 17 00:00:00 2001 From: ruff Date: Sun, 12 Feb 2023 10:51:19 +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 ca993607..16a3733b 100644 --- a/build.ant.xml +++ b/build.ant.xml @@ -340,11 +340,14 @@ - + + + + \ No newline at end of file diff --git a/build.xml b/build.xml index 2e479e2d..5581a904 100644 --- a/build.xml +++ b/build.xml @@ -272,6 +272,7 @@ +