Install man pages in /usr/share/man Don't install "mut" man page (script not installed) --- setup.py.orig 2011-05-28 08:32:01.667811328 +0200 +++ setup.py 2011-05-28 08:32:30.464887518 +0200 @@ -110,7 +110,7 @@ class install_man(distutils.core.Command self.set_undefined_options('build_sphinx', ('build_dir', 'build_dir'), ) - self.target_dir = os.path.join(self.install_base, 'man') + self.target_dir = os.path.join(self.install_base, 'share/man') self.source_dir = os.path.join(self.build_dir, 'man') def run(self): diff -up doc/conf.py.orig doc/conf.py --- doc/conf.py.orig 2012-08-10 08:01:19.000000000 +0200 +++ doc/conf.py 2012-08-10 08:01:34.000000000 +0200 @@ -264,9 +264,6 @@ man_pages = [ ('man/mysqluserclone', 'mysqluserclone', u'Copy a MySQL user to one or more new users on another server', [u'MySQL Utilities Team'], 1), - ('man/mut', 'mut', - u'Testing environment for MySQL utilities', - [u'MySQL Utilities Team'], 1), ]