From 2405806a5af6710a9f43a275cd3e7f886d4e4aff Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 26 Sep 2023 19:36:32 +0200
Subject: [PATCH] Remove nearly empty releng project
---
.gitlab-ci.yml | 2 +-
org.rodinp.handbook.releng/.project | 11 -----------
org.rodinp.handbook.releng/settings.gradle | 1 -
.../index.html | 0
4 files changed, 1 insertion(+), 13 deletions(-)
delete mode 100644 org.rodinp.handbook.releng/.project
delete mode 100755 org.rodinp.handbook.releng/settings.gradle
rename {org.rodinp.handbook.releng => org.rodinp.handbook.repository}/index.html (100%)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e267e4a..079d876 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.releng/index.html org.rodinp.handbook.repository/target/repository
+ - cp org.rodinp.handbook.repository/index.html org.rodinp.handbook.repository/target/repository
artifacts:
paths:
- org.rodinp.handbook.feature/build/files
diff --git a/org.rodinp.handbook.releng/.project b/org.rodinp.handbook.releng/.project
deleted file mode 100644
index 807c549..0000000
--- a/org.rodinp.handbook.releng/.project
+++ /dev/null
@@ -1,11 +0,0 @@
-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
- <name>org.rodinp.handbook.releng</name>
- <comment></comment>
- <projects>
- </projects>
- <buildSpec>
- </buildSpec>
- <natures>
- </natures>
-</projectDescription>
diff --git a/org.rodinp.handbook.releng/settings.gradle b/org.rodinp.handbook.releng/settings.gradle
deleted file mode 100755
index d2a9093..0000000
--- a/org.rodinp.handbook.releng/settings.gradle
+++ /dev/null
@@ -1 +0,0 @@
-include 'org.rodinp.handbook', 'org.rodinp.handbook.feature'
\ No newline at end of file
diff --git a/org.rodinp.handbook.releng/index.html b/org.rodinp.handbook.repository/index.html
similarity index 100%
rename from org.rodinp.handbook.releng/index.html
rename to org.rodinp.handbook.repository/index.html
--
GitLab