tree f65eb1845716fa54604925bb5529ac3cbdbb710e
parent f598710fb9d2db8408264b2c16335330c44fee5d
author Damien Martin-Guillerez <dmarting@google.com> 1435679740 +0000
committer Damien Martin-Guillerez <dmarting@google.com> 1435690972 +0000

Update install.md for Linux's java settings

Java settings requires to set JAVA_HOME but its is not
required anymore on most case. Also the instruction
themselves were confusing.

Fixes #268

--
MOS_MIGRATED_REVID=97231074