K 10 svn:author V 6 murray K 8 svn:date V 27 2001-09-05T09:45:35.000000Z K 7 svn:log V 156 4000 -> 5800 ports. We really need to add some smarts to the ports/INDEX creation script to update #defines in header files and entities in the doc/ tree. END