diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 54da19b3df71e4b9a4d6a3baf4b0af93215209a8..1bfce759d192f2651fbc23c6209f2c4648ae243c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ build:
script:
- ./gradlew prepareMaven
- mvn -Dmaven.repo.local="$CI_PROJECT_DIR/maven_repo_local" -f de.prob.parent/pom.xml install
- - cp index.html de.prob.repository/target/repository/
+ - cp footer.html de.prob.repository/target/repository/
cache:
paths:
- .gradle/caches
diff --git a/footer.html b/footer.html
new file mode 100644
index 0000000000000000000000000000000000000000..d14daf62e087899cc92f3ecd50619be7a8d4eb1e
--- /dev/null
+++ b/footer.html
@@ -0,0 +1,15 @@
+<h1>Installing the ProB plug-ins</h1>
+<p>Please use the Rodin update manager to install the plug-ins.</p>
+<ol>
+ <li>Select from main menu: <em>Help | Install New Software...</em></li>
+ <li>
+ Under <em>Work with</em>, select the ProB repository. If it isn't listed, add a new repository using the URL<br/>
+ <em>https://stups.hhu-hosting.de/rodin/prob1/release/</em>
+ </li>
+ <li>Select the plug-ins you want to install and follow the dialog.</li>
+</ol>
+<p>
+ Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen:
+ <a href="https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages" target="_blank">To Website</a>.
+ <a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>.
+</p>
diff --git a/index.html b/index.html
deleted file mode 100644
index dd431a4e640be3624fa6b818da7826cf88797d39..0000000000000000000000000000000000000000
--- a/index.html
+++ /dev/null
@@ -1,24 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
- <head>
- <title>ProB plug-ins repository</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
- </head>
- <body>
- <h1>Installing the ProB plug-ins</h1>
- <p>Please use the Rodin update manager to install the plug-ins.</p>
- <ol>
- <li>Select from main menu: <em>Help | Install New Software...</em></li>
- <li>
- Under <em>Work with</em>, select the ProB repository. If it isn't listed, add a new repository using the URL<br/>
- <em>https://stups.hhu-hosting.de/rodin/prob1/release/</em>
- </li>
- <li>Select the plug-ins you want to install and follow the dialog.</li>
- </ol>
- <p>
- Queries? Please contact: Heinrich-Heine-University, Software und Programmiersprachen:
- <a href="https://www.cs.hhu.de/en/research-groups/software-engineering-and-programming-languages" target="_blank">To Website</a>.
- <a href="https://www.hhu.de/datenschutzerklaerung">Privacy Policy (Datenschutz)</a>.
- </p>
- </body>
-</html>