From f78a991f594727a9a31dfef3c5f7493dc542ca2a Mon Sep 17 00:00:00 2001
From: Alfredo Deza <adeza@redhat.com>
Date: Tue, 15 Aug 2017 14:42:52 -0400
Subject: [PATCH] doc exclude man_index when not building man pages

Signed-off-by: Alfredo Deza <adeza@redhat.com>
---
 doc/conf.py | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/conf.py b/doc/conf.py
index b9660b62c5933..ccef4c6dbd7cc 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -23,6 +23,8 @@ if tags.has('man'):
                          'radosgw/*',
                          'rbd/*',
                          'start/*']
+else:
+    exclude_patterns += ['man_index.rst']
 
 pygments_style = 'sphinx'
 
-- 
2.39.5