Split the 'make install' target into two: install and dist. dist
retains the old make install behavior of building a "distribution"
release, with source files, build system, etc. install does what
one one expects -- installs into a tree in the filesystem, /usr/local
by default.
Change-Id: I0805681ac10f853ef94cdc3aa70981c6bea81b45
1 liner bug fix for issue #10. Surrounding quotation marks were
missing from a variable, causing a warning message inside a test
clause.
Change-Id: Ia21421f77c309bbd87332547374241269bbe5326