Fix another "make" versus "make dist" build problem.
[openvswitch] / INSTALL.Linux
2009-06-09 Ben PfaffUpdate documentation.