updated on 20200530 at 09:52:17

andreamandrici · May 30, 2020 · 3810096 · 3810096
1 parent 4c14760
commit 3810096
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/flattening/README.md b/flattening/README.md
@@ -123,7 +123,9 @@ _... repeat the above for the NN number of the defined topics)..._
 
 #### 2.  Create the infrastructure
 
-`chmod +x` all pre-existing scripts, then run **`./00_create_infrastructure.sh`** which will create from scratch the following scripts:
+If needed, `chmod +x` all the pre-existing scripts.
+
+Run **`./00_create_infrastructure.sh`**, which will create from scratch the following scripts:
 
 #### 3.  Run scripts