diff options
author | Remi Collet <fedora@famillecollet.com> | 2012-04-12 19:40:37 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2012-04-12 19:40:37 +0200 |
commit | 86aaee62987ce317abf8819c29f333d003042f2b (patch) | |
tree | bb5c2d857738dc858036c6bcc811b647d971a883 /mysql-utilities-man.patch |
mysql-utilities: new package (unbundled from MySQL Workbench)
Diffstat (limited to 'mysql-utilities-man.patch')
-rw-r--r-- | mysql-utilities-man.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/mysql-utilities-man.patch b/mysql-utilities-man.patch new file mode 100644 index 0000000..db80ddf --- /dev/null +++ b/mysql-utilities-man.patch @@ -0,0 +1,11 @@ +--- 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): |