Rename changelog file that is copied to generated_docs folder

gisaia · Sep 18, 2020 · 9612469 · 9612469
1 parent 7000218
commit 9612469
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/mkDocs.sh b/mkDocs.sh
@@ -116,7 +116,7 @@ docker run --rm \
     -v $PWD:/opt/maven \
 	-v $HOME/.m2:/root/.m2 \
 	busybox \
-        sh -c 'cp /opt/maven/CHANGELOG.md /opt/maven/target/generated-docs/CHANGELOG.md'
+        sh -c 'cp /opt/maven/CHANGELOG.md /opt/maven/target/generated-docs/CHANGELOG_ARLAS-persistence.md'
 
 echo "=> Check generated documentation"
 if [[ ! -f ${BASEDIR}/target/generated-docs/typescript-doc/classes/_api_.writeapi.md ]] ; then