allegro/ralph — pull request #488 by deshipu (2013-03-20 14:23:46+00:00)
Title: Make the sphinx theme work without main_menu defined

http://ralph.allegrogroup.com/buildbot/builders/unittest-ralph-deshipu/builds/196