--- /home/gperciva/svn/web-gop/texinfo/web-texi2html.init 2009-06-20 13:20:49.000000000 -0700 +++ web-texi2html.init 2009-06-20 13:16:57.000000000 -0700 @@ -619,11 +619,11 @@ } # if no child nodes were generated, e.g. for the index, where expanded pages # are ignored, don't generate a list at all... -# if (@child_result) { -# push (@result, "\n$ind
Home | -#[Introduction] | -#Download | -#Documentation | -##Development | -#About | -#
Features | -#Examples | -#[Crash Course] | -#