update link to extension page

pom.xml

@@ -4,7 +4,7 @@
 	<modelVersion>4.0.0</modelVersion>
 	<groupId>fr.mines-stetienne.ci.saref</groupId>
 	<artifactId>saref-pipeline</artifactId>
-	<version>1.0.3</version>
+	<version>1.0.4</version>
 	<packaging>jar</packaging>
 
 	<name>SAREF-Pipeline</name>

src/main/java/fr/mines_stetienne/ci/saref/gui/MainFrame.java

@@ -161,7 +161,7 @@ public class MainFrame extends JFrame implements SAREFCredentialsProvider {
 						File documentationHTML = new File(ontoDir, String.format("%s.html", target.getRepository().getOntologyFileName()));
 						msg += String.format("<p>HTML documentation: <a href=\"%s\">%s</a></p>", documentationHTML.toURI(), documentationHTML.getPath());
 					} else {
-						File entryPoint = new File(pipeline.targetDir, "site/extensions.html");
+						File entryPoint = new File(pipeline.targetDir, "site/index.html");
 						msg += String.format("<p>HTML documentation entrypoint: <a href=\"%s\">%s</a></p>", entryPoint.toURI(), entryPoint.getPath());
 					}
 				}

src/main/resources/documentation/header.rqg

@@ -96,7 +96,7 @@ TEMPLATE <head.rqg>( ?before, ?pathToStatic , ?isOntologyDocumentation ) {
                     </a>
                   </li>
                   <li class="g-menu-item g-menu-item-type-component g-menu-item-242 g-standard  ">
-                    <a class="g-menu-item-container" href="/extensions.html">
+                    <a class="g-menu-item-container" href="//#extensions">
                       <span class="g-menu-item-content">
                         <span class="g-menu-item-title">Extensions</span>
                       </span>

src/main/resources/themis/body.html

@@ -43,7 +43,7 @@
                     </a>
                   </li>
                   <li class="g-menu-item g-menu-item-type-component g-menu-item-242 g-standard  ">
-                    <a class="g-menu-item-container" href="/extensions.html">
+                    <a class="g-menu-item-container" href="//#extensions">
                       <span class="g-menu-item-content">
                         <span class="g-menu-item-title">Extensions</span>
                       </span>