diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e267e4a3a95486646d4be3f34fe29ae3e585f025..079d87658581ef072144362e31c6311064282e27 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 807c549ee71462e433864be0948ffd9d596d4ef5..0000000000000000000000000000000000000000 --- 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 d2a9093ffe7d99e8d0b487965fb46f1aff07e244..0000000000000000000000000000000000000000 --- 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