# HG changeset patch # User souliane # Date 1409039663 -7200 # Node ID a7cdf03c00e984e68f97ce10ff5178237314637f # Parent 768f1f1ef12cd68090f62dd5252331b08b9f327e setup: sat_frontends was omitted by the cleaning method diff -r 768f1f1ef12c -r a7cdf03c00e9 setup.py --- a/setup.py Mon Aug 25 21:32:29 2014 +0200 +++ b/setup.py Tue Aug 26 09:54:23 2014 +0200 @@ -145,6 +145,7 @@ if to_remove is None: to_remove = [] for path in [os.path.join(self.install_lib, NAME), + os.path.join(self.install_lib, "%s_frontends" % NAME), os.path.join(self.install_data, 'share', 'doc', NAME), os.path.join(self.install_lib, "%s.egg-info" % self.config_vars['dist_fullname']), os.path.join(self.install_lib, "%s-py%s.egg-info" % (self.config_vars['dist_fullname'], self.config_vars['py_version_short'])),