changeset 2404:b3a0eb07388a

Bugfix: do not install Makefile*s into doc.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Sun, 22 Oct 2006 08:04:09 +0100
parents 97a201619289
children 6ed95dd53fe0
files lib/gub.py
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/lib/gub.py	Sun Oct 22 08:03:51 2006 +0100
+++ b/lib/gub.py	Sun Oct 22 08:04:09 2006 +0100
@@ -655,8 +655,8 @@
                             % self.get_substitution_dict ()):
             import shutil
             if (os.path.isfile (i)
-                and not i.startswith ('Makefile')
-                and not i.startswith ('GNUmakefile')):
+                and not os.path.basename (i).startswith ('Makefile')
+                and not os.path.basename (i).startswith ('GNUmakefile')):
                 shutil.copy2 (i, '%(install_root)s/usr/share/doc/%(name)s'
                               % self.get_substitution_dict ())