]> git.apps.os.sepia.ceph.com Git - ceph.git/commitdiff
doc exclude man_index when not building man pages
authorAlfredo Deza <adeza@redhat.com>
Tue, 15 Aug 2017 18:42:52 +0000 (14:42 -0400)
committerAlfredo Deza <adeza@redhat.com>
Wed, 16 Aug 2017 12:20:02 +0000 (08:20 -0400)
Signed-off-by: Alfredo Deza <adeza@redhat.com>
doc/conf.py

index b9660b62c593397e270bed2a2a57173178c34624..ccef4c6dbd7ccf8f6335ad7648642ca16a09bc2b 100644 (file)
@@ -23,6 +23,8 @@ if tags.has('man'):
                          'radosgw/*',
                          'rbd/*',
                          'start/*']
+else:
+    exclude_patterns += ['man_index.rst']
 
 pygments_style = 'sphinx'