Update documentation

RafaelGB · RafaelGB · commit 6f26528018d4 · 2022-09-01T14:54:22.000+02:00
diff --git a/devops/prepareDocumentation.sh b/devops/prepareDocumentation.sh
@@ -1,4 +1,5 @@
 #!/bin/zsh
+# Give this exec privileges => chmod +x  devops/prepareDocumentation.sh  
 git checkout $1
 git add .
 git commit -m "Update documentation"

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`#!/bin/zsh`
	`2`	`+# Give this exec privileges => chmod +x devops/prepareDocumentation.sh`
`2`	`3`	`git checkout $1`
`3`	`4`	`git add .`
`4`	`5`	`git commit -m "Update documentation"`