From fb62a9b754af3b844636de0c0728bf9ffd693be2 Mon Sep 17 00:00:00 2001 From: Federico Tomassetti Date: Tue, 10 Dec 2024 16:23:08 +0100 Subject: [PATCH] Rename module --- .github/workflows/build-documentation.yml | 2 +- Writerside/cfg/buildprofiles.xml | 2 +- Writerside/{s.tree => strumenta.tree} | 2 +- Writerside/writerside.cfg | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) rename Writerside/{s.tree => strumenta.tree} (97%) diff --git a/.github/workflows/build-documentation.yml b/.github/workflows/build-documentation.yml index 8394d51..c746f95 100644 --- a/.github/workflows/build-documentation.yml +++ b/.github/workflows/build-documentation.yml @@ -5,7 +5,7 @@ on: workflow_dispatch: env: - INSTANCE: './Writerside' + INSTANCE: 'Writerside/strumenta' DOCKER_VERSION: '243.21565' jobs: diff --git a/Writerside/cfg/buildprofiles.xml b/Writerside/cfg/buildprofiles.xml index c8e5a58..8bc3caa 100644 --- a/Writerside/cfg/buildprofiles.xml +++ b/Writerside/cfg/buildprofiles.xml @@ -4,7 +4,7 @@ xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"> - + true diff --git a/Writerside/s.tree b/Writerside/strumenta.tree similarity index 97% rename from Writerside/s.tree rename to Writerside/strumenta.tree index 69284c9..1189a84 100644 --- a/Writerside/s.tree +++ b/Writerside/strumenta.tree @@ -2,7 +2,7 @@ - diff --git a/Writerside/writerside.cfg b/Writerside/writerside.cfg index d390a5e..d62d75d 100644 --- a/Writerside/writerside.cfg +++ b/Writerside/writerside.cfg @@ -4,5 +4,5 @@ - + \ No newline at end of file