Fix behavior of simultaneous "make" and "make dist".
[openvswitch] / INSTALL.SSL
2009-06-09 Ben PfaffUpdate documentation.