#542 Problems with menu on DUNE homepage

Metadata

Property	Value
Reported by	Sven Marnach (sven@pantoffel-wg.de)
Reported at	Apr 17, 2009 12:40
Type	Bug Report
Version	Git (pre2.4) [autotools]
Operating System	Unspecified / All
Last edited by	Sven Marnach (sven@pantoffel-wg.de)
Last edited at	Jun 4, 2009 16:41
Closed by	Sven Marnach (sven@pantoffel-wg.de)
Closed at	Jun 4, 2009 16:41
Closed in version	Unknown
Resolution	Fixed
Comment

Description

The menu panel on the DUNE homepage changes depending on what subpage is selected. For example the pages

http://www.dune-project.org/doc/devel/features.html http://www.dune-project.org/doc/installation-notes.html

seem to have older versions of the menu panel. While trying to track this bug I noticed that these pages do not even exist in the dune-web repository. Furthermore, the page

http://www.dune-project.org/flyspray/

has yet another version of the menu panel. Something seems to be really messed up.