Issue minor corrections and updates to INSTALL file. #1731

Merged
merged 1 commit into from Feb 24, 2014
Commits on Feb 24, 2014
  1. @jeremyong