K 10
svn:author
V 5
wosch
K 8
svn:date
V 27
2001-04-22T17:34:53.000000Z
K 7
svn:log
V 117
Fix revision 1.62:

the subdir 'doc' and 'tutorials' are *not* web pages and should
not build if WEB_ONLY=YES is set

END