diff --git a/pom.xml b/pom.xml index efc84e96321e8f232bf405a007ebf51cffc69209..168f37979e820a135aeac088834cdda98cd58d94 100644 --- a/pom.xml +++ b/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> diff --git a/src/main/java/fr/mines_stetienne/ci/saref/gui/MainFrame.java b/src/main/java/fr/mines_stetienne/ci/saref/gui/MainFrame.java index 0dfdcdc903601c08ca4c54ae46c1c4a20169d23c..6c3acd18ce94f960f348298768cd85b986dad2ec 100644 --- a/src/main/java/fr/mines_stetienne/ci/saref/gui/MainFrame.java +++ b/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()); } } diff --git a/src/main/resources/documentation/header.rqg b/src/main/resources/documentation/header.rqg index a804b02829972955f713e8cf682f1763a4e86e15..536281fbe0772ba30f45012c04becb0126e2b109 100644 --- a/src/main/resources/documentation/header.rqg +++ b/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> diff --git a/src/main/resources/themis/body.html b/src/main/resources/themis/body.html index 03a35b120c3461ed445587a4cffa5c0f6a61a006..b92d4f3659e11240dd6a04df339260e9fc0b9480 100644 --- a/src/main/resources/themis/body.html +++ b/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>