Merge pull request #841 from cdrage/update-release-script-4

Update version number in introduction.md
2017-10-10 15:03:03 -04:00
parent 28c8d784be 73b760970e
commit 93bde02d5a
1 changed files with 3 additions and 0 deletions
@@ -100,6 +100,9 @@ replaceversion() {
  echo "Replaced version in docs/installation.md"
  sed -i "s/$1/$2/g" docs/installation.md

+  echo "Replaced version in docs/introduction.md"
+  sed -i "s/$1/$2/g" docs/introduction.md
+
  echo "Replaced version in build/VERSION"
  sed -i "s/$1/$2/g" build/VERSION
 }