message: Installation at a user defined location
  add small description to install HermitCore at a user defined location
diff: @@ -104,8 +104,13 @@ $ cmake -DTOOLCHAIN_BIN_DIR=/home/user/hermit/bin ..
  ```
  assuming that binaries like `x86_64-hermit-gcc` and friends are located in that
  -directory.
  +directory. To install your new version in the same directory, you have to set the installation path and to install HermitCore as follows:
  +```bash
  +$ cmake -DTOOLCHAIN_BIN_DIR=/home/user/hermit/bin -DCMAKE_INSTALL_PREFIX=/home/user/hermit ..
  +$ make
  +$ make install
  +```
  ## Testing
  