From 352d26eace1a9a9c7d64e3677164955b517b9910 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Thu, 10 Mar 2022 17:23:56 +0100
Subject: [PATCH] [doc] allow building manuals without suffix - still checks
versions - fix a minor typo
---
doc/build-manuals.sh | 10 +++++++---
1 file changed, 7 insertions(+), 3 deletions(-)
diff --git a/doc/build-manuals.sh b/doc/build-manuals.sh
index ee63e0d148b..3f330a4ea60 100755
--- a/doc/build-manuals.sh
+++ b/doc/build-manuals.sh
@@ -63,8 +63,12 @@ build () {
echo "######### $1 failed"
exit 1
fi
- # extract extension, add suffix, re-append extension
- MANUAL=${2%.*}-$3.${2##*.}
+ if [ "$NO_SUFFIX" == "yes" ] ; then
+ MANUAL=$2
+ else
+ # extract extension, add suffix, re-append extension
+ MANUAL=${2%.*}-$3.${2##*.}
+ fi
cp -f $1 manuals/$MANUAL
echo "##### $MANUAL copied"
@@ -112,7 +116,7 @@ else
fi
# Sanity check: version differences between Frama-C, ACSL and E-ACSL
-FAIL = 0
+FAIL=0
if [ "$ACSL_SUFFIX" != "$EACSL_SUFFIX" ]; then
echo "WARNING: different versions for ACSL and E-ACSL manuals: $ACSL_SUFFIX versus $EACSL_SUFFIX"
FAIL=1
--
GitLab