From a8e5c0b5852b8fd5569ed81d5bc489c9295bf7bf Mon Sep 17 00:00:00 2001
From: Jean-Marie Burel <j.burel@dundee.ac.uk>
Date: Wed, 8 Nov 2023 16:04:18 +0000
Subject: [PATCH] fix generation of doc for rocky9

---
 linux/autogenerate.sh | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

diff --git a/linux/autogenerate.sh b/linux/autogenerate.sh
index 3881b257..d1f66c61 100755
--- a/linux/autogenerate.sh
+++ b/linux/autogenerate.sh
@@ -37,14 +37,16 @@ N=$OS
 if [[ $OS =~ "debian" ]] || [[ $OS =~ "ubuntu" ]] ; then
 	N="ubuntu"
 elif [[ $OS =~ "rocky" ]]  ; then
-    N="centos7"
+    N="rocky"
 elif [[ $OS =~ "centos" ]]  ; then
     N="centos7"
 fi
 echo -en '\n' >> $file
-echo "#start-step01: As root, install dependencies" >> $file
-line=$(sed -n '2,$p' $dir/step01_"$N"_init.sh)
-echo "$line" >> $file
+if ! [[ $OS =~ "rocky" ]]  ; then
+    echo "#start-step01: As root, install dependencies" >> $file
+    line=$(sed -n '2,$p' $dir/step01_"$N"_init.sh)
+    echo "$line" >> $file
+fi
 
 # install java
 N=$OS