From f07ece311bf05b2f33129f22416f86f1fbaeb687 Mon Sep 17 00:00:00 2001
From: Sylvain Soliman <Sylvain.Soliman@inria.fr>
Date: Thu, 22 Aug 2024 16:04:54 +0200
Subject: [PATCH] subdir and bump
---
.gitlab-ci.yml | 2 +-
pack.pl | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 860223e..c8f440d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,7 +32,7 @@ pages:
rules:
- if: $CI_COMMIT_TAG # Run this job when a tag is created
script:
- - mkdir /tmp/public
+ - mkdir -p /tmp/public/releases
- swipl -g "doc_save('.', [doc_root('/tmp/public'), recursive(true), if(true)])" -t halt
- mv /tmp/public .
- swipl -g "create_gitlab_releases_page('public/releases/index.html')" -t halt prolog/gitlabci.pl
diff --git a/pack.pl b/pack.pl
index 42ba3e5..cbff6aa 100644
--- a/pack.pl
+++ b/pack.pl
@@ -1,5 +1,5 @@
name('gitlabci').
-version('1.0.1').
+version('1.0.2').
title('Create a pack release page using Gitlab CI').
author('Sylvain Soliman', 'Sylvain.Soliman@inria.fr').
home('https://gitlab.inria.fr/soliman/gitlabci/').
--
GitLab