Merge branch 'master' of https://github.com/BartJongejan/Bracmat

Author: BartJongejan

WebAssembly/Installing-emcc.md

@@ -5,9 +5,10 @@ git clone https://github.com/emscripten-core/emsdk.git
 cd emsdk
 ./emsdk install latest
 ./emsdk activate latest
-source "/mnt/c/gitprojects/emsdk/emsdk_env.sh"
+source "emsdk_env.sh"
 ```
 Configure emsdk in your shell startup scripts by running:
 ```
-echo 'source "/mnt/c/gitprojects/emsdk/emsdk_env.sh"' >> $HOME/.bash_profile
+echo 'source "/home/emsdk/emsdk_env.sh"' >> $HOME/.bash_profile
 ```
+(Adapt the path /home/emsdk/emsdk_env.sh if needed.)