K 10
svn:author
V 5
perky
K 8
svn:date
V 27
2002-08-04T17:45:43.000000Z
K 7
svn:log
V 176
Fixed my stupid MAKE_ENV mistake on NOPORTDOCS=true

PR:		41292 [1]
Submitted by:	Clemens Oertel <oertel@uni-tuebingen.de>
		Oliver Eikemeier <eikemeier@fillmore-labs.com> [1]

END