doc: Fix missing main page in generated docs.