K 10 svn:author V 3 nik K 8 svn:date V 27 2001-07-11T13:16:24.000000Z K 7 svn:log V 144 IS_INTERACTIVE -> INTERACTIVE when explaining how to build interactive ports. PR: docs/28822 Submitted by: Martin Kammerhofer END