From 6bff093563dea2f778b8b9138f8d1cf32edab110 Mon Sep 17 00:00:00 2001
From: Luc Maisonobe <luc@orekit.org>
Date: Mon, 3 Oct 2016 13:01:51 +0200
Subject: [PATCH] Removed unused file.

---
 pom.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/pom.xml b/pom.xml
index 997060c7..d5c44551 100644
--- a/pom.xml
+++ b/pom.xml
@@ -461,7 +461,6 @@
         <artifactId>maven-javadoc-plugin</artifactId>
         <version>${rugged.maven-javadoc-plugin.version}</version>
         <configuration>
-          <overview>${basedir}/core/src/main/java/org/orekit/rugged/overview.html</overview>
           <links>
             <link>http://docs.oracle.com/javase/8/docs/api/</link>
             <link>https://hipparchus.org/apidocs/</link>
-- 
GitLab