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 <mkamm@gmx.net>

END
