fixed menu generation for older docs