From f4aebe10232c5dbcce124a3a7b7e95e103bbe118 Mon Sep 17 00:00:00 2001
From: Andrew Coward <acc@noc.ac.uk>
Date: Fri, 4 Mar 2022 16:32:04 +0000
Subject: [PATCH] Fix manual_build.sh so that it sets and uses its options
correctly. This has been used to build the latest manual with:
./manual_build.sh -p -r 4.2.0
---
doc/manual_build.sh | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/doc/manual_build.sh b/doc/manual_build.sh
index f62a06d7c..0777a95ad 100755
--- a/doc/manual_build.sh
+++ b/doc/manual_build.sh
@@ -21,11 +21,11 @@ Optional
-r Specify the release version number of the manual(s) instead of the branch name
EOF
exit 0 ;;
- ('p') x_p=0 ; shift ;;
- ('r') x_r=${OPTARG}; shift 2;;
+ ('p') x_p=0 ;;
+ ('r') x_r=${OPTARG} ;;
esac
done
-shift $(($OPTIND));
+shift $(( $OPTIND - 1 ));
VER_NUM=${x_r}
DRAFT=${x_p}
--
GitLab