diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 079d87658581ef072144362e31c6311064282e27..bc15d287f78a1766aa98fa7063b23fe759b8ebf1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,7 +20,7 @@ build:
- cd ..
- cp -r org.rodinp.handbook.feature/build/eclipse/* org.rodinp.handbook/
- mvn -f org.rodinp.handbook.parent/pom.xml install
- - cp org.rodinp.handbook.repository/index.html org.rodinp.handbook.repository/target/repository
+ - cp org.rodinp.handbook.repository/footer.html org.rodinp.handbook.repository/target/repository
artifacts:
paths:
- org.rodinp.handbook.feature/build/files
diff --git a/org.rodinp.handbook.repository/footer.html b/org.rodinp.handbook.repository/footer.html
new file mode 100644
index 0000000000000000000000000000000000000000..56a19d28bc5832e95af02b19120ea00ec40b5724
--- /dev/null
+++ b/org.rodinp.handbook.repository/footer.html
@@ -0,0 +1,15 @@
+<h1>Installing the Rodin Handbook plug-in</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 Rodin Handbook repository. If it isn't listed, add a new repository using the URL<br/>
+ <em>https://stups.hhu-hosting.de/handbook/rodin/updatesite/</em>
+ </li>
+ <li>Select the Rodin Handbook plug-in 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/org.rodinp.handbook.repository/index.html b/org.rodinp.handbook.repository/index.html
deleted file mode 100644
index 70b583ccdb54fe41fc63aa01de733f576619ac59..0000000000000000000000000000000000000000
--- a/org.rodinp.handbook.repository/index.html
+++ /dev/null
@@ -1,24 +0,0 @@
-<!DOCTYPE html>
-<html lang="en">
- <head>
- <title>Rodin Handbook repository</title>
- <meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
- </head>
- <body>
- <h1>Installing the Rodin Handbook plug-in</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 Rodin Handbook repository. If it isn't listed, add a new repository using the URL<br/>
- <em>https://stups.hhu-hosting.de/handbook/rodin/updatesite/</em>
- </li>
- <li>Select the Rodin Handbook plug-in 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>