From c6d3be9958c9d26b34dda2fbe198ff524a46b503 Mon Sep 17 00:00:00 2001
From: gprat <guylaine.prat@c-s.fr>
Date: Fri, 10 Jul 2020 18:07:10 +0200
Subject: [PATCH] Change .zip to .jar for sources

---
 src/site/markdown/downloads.md.vm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/site/markdown/downloads.md.vm b/src/site/markdown/downloads.md.vm
index 93548893..a72f6477 100644
--- a/src/site/markdown/downloads.md.vm
+++ b/src/site/markdown/downloads.md.vm
@@ -48,7 +48,7 @@ as required.
 
 |  package |                                              link                                                                                     |
 |----------|---------------------------------------------------------------------------------------------------------------------------------------|
-|  source  | [rugged-${version.key}-sources.zip](https://search.maven.org/remotecontent?filepath=org/orekit/rugged/${version.key}/rugged-${version.key}-sources.zip) |
+|  source  | [rugged-${version.key}-sources.jar](https://search.maven.org/remotecontent?filepath=org/orekit/rugged/${version.key}/rugged-${version.key}-sources.jar) |
 |  binary  | [rugged-${version.key}.jar](https://search.maven.org/remotecontent?filepath=org/orekit/rugged/${version.key}/rugged-${version.key}.jar)                 |
 |  javadoc | [rugged-${version.key}-javadoc.jar](https://search.maven.org/remotecontent?filepath=org/orekit/rugged/${version.key}/rugged-${version.key}-javadoc.jar) |
 version ${version.key} downloads (release date: ${version.value})
-- 
GitLab