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

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

parent f52d1eb1
Branches
No related tags found
No related merge requests found
Pipeline #121388 passed
Stage: build
Show whitespace changes
Inline Side-by-side
.gitlab-ci.yml
+ 1
− 1
View file @ f6772f57
...@@ -20,7 +20,7 @@ build: ...@@ -20,7 +20,7 @@ build:
- cd .. - cd ..
- cp -r org.rodinp.handbook.feature/build/eclipse/* org.rodinp.handbook/ - cp -r org.rodinp.handbook.feature/build/eclipse/* org.rodinp.handbook/
- mvn -f org.rodinp.handbook.parent/pom.xml install - 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: artifacts:
paths: paths:
- org.rodinp.handbook.feature/build/files - org.rodinp.handbook.feature/build/files
......
org.rodinp.handbook.repository/footer.html 0 → 100644
+ 15
− 0
View file @ f6772f57
<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>
org.rodinp.handbook.repository/index.html deleted 100644 → 0
+ 0
− 24
View file @ f52d1eb1
<!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>
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment