tree 7d2c266256e17e217228dfab3652e21bf2bcb339
parent 1d8e68471a74f9a8b26081384fb4c456f7c3cf90
author Cameron Samak <csamak@apache.org> 1486779525 +0000
committer Cameron Samak <csamak@apache.org> 1487013100 -0800

Add a description of MANAGIX_HOME to the installation docs.

A more complex description was removed as part of a previous
cleanup, but the term is still used throughout the page.

Change-Id: I519dcd1fa2c0baab2aeabbd29c2d474fc32de0bf
Reviewed-on: https://asterix-gerrit.ics.uci.edu/1500
Sonar-Qube: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Till Westmann <tillw@apache.org>