Issue minor corrections and updates to INSTALL file. #1725

Closed
wants to merge 1 commit into
from
Commits on Feb 22, 2014
  1. @jeremyong