Merge branch 'master' into develop

Author: kosloot

Dockerfile

@@ -16,8 +16,8 @@ RUN if [ "$VERSION" = "distro" ]; then \
         echo -e "----------------------------------------------------------\nNOTE: Installing latest release as provided by Alpine package manager.\nThis version may diverge from the one in the git master tree or even from the latest release on github!\nFor development, build with --build-arg VERSION=development.\n----------------------------------------------------------\n" &&\
         apk update && apk add timbl; \
     else \
-        PACKAGES="libtar libbz2 icu-libs libxml2 libgomp libstdc++" &&\
-        BUILD_PACKAGES="build-base autoconf-archive autoconf automake libtool libtar-dev bzip2-dev icu-dev libxml2-dev git" &&\
+        PACKAGES="libbz2 icu-libs libxml2 libgomp libstdc++" &&\
+        BUILD_PACKAGES="build-base autoconf-archive autoconf automake libtool bzip2-dev icu-dev libxml2-dev git" &&\
         apk add $PACKAGES $BUILD_PACKAGES &&\ 
         cd /usr/src/ && ./timbl/build-deps.sh &&\
         cd timbl && sh ./bootstrap.sh && ./configure && make && make install &&\

NEWS

@@ -1,4 +1,8 @@
-6.11
+6.11 2025-12-11
+[Ko van der Sloot]
+* added a --prune option: https://github.com/LanguageMachines/timbl/issues/13
+* updated Github actions
+
 6.10 2024-12-16
 [Ko van der Sloot]
 * C++17 is required