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 10bb50c54dc784c9764c2bbf1767a3132468add4..eb1dbfad60e0336f3c1c7a2ec419908d0a1e3043 100755 (executable)
--- 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