K 10
svn:author
V 3
nox
K 8
svn:date
V 27
2008-06-03T18:39:51.000000Z
K 7
svn:log
V 65
Fix NOPORTDOCS when texi2html is not installed

Found by:	itetcu

END