--- plugins/org.eclipse.help.base/plugin.xml.orig 2008-08-02 15:36:47.000000000 -0400 +++ plugins/org.eclipse.help.base/plugin.xml 2008-08-02 15:37:20.000000000 -0400 @@ -113,7 +113,7 @@ + value="Linux,FreeBSD,AIX,HP,SunOS"> @@ -132,7 +132,7 @@ + value="Linux,FreeBSD,AIX,HP,SunOS"> @@ -151,7 +151,7 @@ + value="Linux,FreeBSD,AIX,HP,SunOS">