From: Bruno Haible <bruno@clisp.org>
Date: Mon, 13 Apr 2020 13:23:55 +0000 (+0200)
Subject: maint: Update download location of jdom-1.0.jar.
X-Git-Tag: v0.20.2~4
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=00cf449d7aeb2587c57023b04f108ae35fc0df97;p=thirdparty%2Fgettext.git

maint: Update download location of jdom-1.0.jar.
---

diff --git a/gettext-runtime/doc/Admin/compile.sh b/gettext-runtime/doc/Admin/compile.sh
index 10bb50c54..eb1dbfad6 100755
--- a/gettext-runtime/doc/Admin/compile.sh
+++ b/gettext-runtime/doc/Admin/compile.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-test -f jdom-1.0.jar || wget http://central.maven.org/maven2/jdom/jdom/1.0/jdom-1.0.jar
+test -f jdom-1.0.jar || wget https://repo1.maven.org/maven2/jdom/jdom/1.0/jdom-1.0.jar
 
 JAVA_HOME=/arch/x86-linux/inst-java/jdk-1.5.0_06
 export JAVA_HOME