From 4d14d92ea1a93c5dc2686cc2fa982f3561cb5f62 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 24 Nov 2020 16:15:49 +0100
Subject: [PATCH] [doc] do not generate symbolic links
---
doc/build-manuals.sh | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/build-manuals.sh b/doc/build-manuals.sh
index 725ae1c670b..fccfa8c2403 100755
--- a/doc/build-manuals.sh
+++ b/doc/build-manuals.sh
@@ -46,7 +46,7 @@ build () {
MANUAL=${2%.*}-$3.${2##*.}
cp -f $1 manuals/$MANUAL
echo "##### $MANUAL copied"
- ln -srf manuals/$MANUAL manuals/$2
+
}
EACSL_DOC=../src/plugins/e-acsl/doc
--
GitLab