From f6c1cfe8a30837caf605d5c45dc9946160325580 Mon Sep 17 00:00:00 2001 From: joss Date: Wed, 18 Jun 2025 15:45:14 +0200 Subject: [PATCH] Text: Added text part to build system --- .gitignore | 1 + build.xml | 18 ++++++++++++++++++ 2 files changed, 19 insertions(+) diff --git a/.gitignore b/.gitignore index 77d8a6c..a28776f 100644 --- a/.gitignore +++ b/.gitignore @@ -1,3 +1,4 @@ build/ doc/ *.jar +beleg.ps diff --git a/build.xml b/build.xml index 27d6d8e..186f647 100644 --- a/build.xml +++ b/build.xml @@ -6,6 +6,7 @@ + @@ -37,4 +38,21 @@ + + + + + + + + + + + + + + + + +