K 10
svn:author
V 3
hrs
K 8
svn:date
V 27
2003-04-22T18:35:44.000000Z
K 7
svn:log
V 172
Back out WITH_DOCFORMAT_NAVI_LINK?=YES in Makefile.  The navi-link
is generated when ${WITH_DOCFORMAT_NAVI_LINK} is defined or
${FORMATS} includes "html" and "html-split."

END