From 4629283e93ae3261b8e65e5fb782738fb9f834c8 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 17 May 2023 17:48:58 +0200
Subject: [PATCH] Rename index.html to footer.html so it doesn't block
directory listing
---
.gitlab-ci.yml | 2 +-
footer.html | 15 +++++++++++++++
index.html | 24 ------------------------
3 files changed, 16 insertions(+), 25 deletions(-)
create mode 100644 footer.html
delete mode 100644 index.html
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 54da19b3..1bfce759 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 00000000..d14daf62
--- /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 dd431a4e..00000000
--- 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>
--
GitLab