Skip to content
Snippets Groups Projects
Commit 4629283e authored by dgelessus's avatar dgelessus
Browse files

Rename index.html to footer.html so it doesn't block directory listing

parent e1070c13
No related branches found
No related tags found
No related merge requests found
Pipeline #113392 passed
......@@ -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
......
<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>
<!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>
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment