From 694462ce77f93559a3a041745c90cac3afd66fc6 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Mon, 22 Jun 2020 14:39:35 +0200
Subject: [PATCH] [Distrib] include E-ACSL changelog in website
---
bin/build-src-distrib.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/bin/build-src-distrib.sh b/bin/build-src-distrib.sh
index 4d96c6d7420..2d0d8dddb1c 100755
--- a/bin/build-src-distrib.sh
+++ b/bin/build-src-distrib.sh
@@ -228,6 +228,8 @@ case "${STEP}" in
run "cp Changelog $WEBSITE_DIR/src/last-release/Changelog"
run "cp src/plugins/wp/Changelog $WEBSITE_DIR/src/wpChangelog"
run "cp src/plugins/wp/Changelog $WEBSITE_DIR/src/last-release/wpChangelog"
+ run "cp src/plugins/e-acsl/doc/Changelog $WEBSITE_DIR/src/eacslChangelog"
+ run "cp src/plugins/e-acsl/doc/Changelog $WEBSITE_DIR/src/last-release/eacslChangelog"
fi
;&
3)
--
GitLab