diff options
author | Remi Collet <fedora@famillecollet.com> | 2012-04-16 09:38:48 +0200 |
---|---|---|
committer | Remi Collet <fedora@famillecollet.com> | 2012-04-16 09:38:48 +0200 |
commit | f7203b3496ea9af906403112f558ba8aed119ba8 (patch) | |
tree | 074150136bc151d05a585932632d671c7dbce9cd /mysql-workbench-5.2.34-man.patch | |
parent | ef684a6dac45a38c0c45d55041f3ec0c374b48cd (diff) |
MySQL Workbench 5.2.39
Diffstat (limited to 'mysql-workbench-5.2.34-man.patch')
-rw-r--r-- | mysql-workbench-5.2.34-man.patch | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/mysql-workbench-5.2.34-man.patch b/mysql-workbench-5.2.34-man.patch deleted file mode 100644 index 9a12a74..0000000 --- a/mysql-workbench-5.2.34-man.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py.orig mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py ---- mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py.orig 2011-05-28 08:32:01.667811328 +0200 -+++ mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/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): |