added path instruction in install

flintlang · Sep 10, 2019 · a0c5489 · a0c5489
1 parent efce0c7
commit a0c5489
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/language_guide.md b/docs/language_guide.md
@@ -158,6 +158,8 @@ cd $HOME/.flint
 make release
 echo "export PATH=$HOME/.flint/.build/release/:$PATH" >> ~/.bashrc
 source ~/.bashrc
+echo "export PATH=$HOME/.flint/.build/release/:$PATH" >> ~/.bashrc
+source ~/.bashrc
 ```
 
 Note that Flint *must* be installed in `~/.flint` to allow the many different components to know where to find everything.