Preserve /(usr|opt)/share/(doc|man|info)/ files

Some of these files have copyright notices.
This commit is contained in:
Ryan Prichard 2018-10-29 02:06:09 -07:00
parent 5ef16f3215
commit 9bf9550390
2 changed files with 5 additions and 2 deletions

View File

@ -68,6 +68,9 @@ for setup, cygwin in (('setup-x86_64', 'cygwin64'), ('setup-x86', 'cygwin32')):
cygwin + '/bin',
cygwin + '/lib',
cygwin + '/usr/include',
cygwin + '/usr/share/doc',
cygwin + '/usr/share/info',
cygwin + '/usr/share/man',
cygwin + '/usr/*-pc-cygwin',
cygwin + '/usr/*-w64-mingw32',
]))

View File

@ -45,8 +45,8 @@ unneeded = [
r'.*/$', # strip out directories
r'/opt/armv7-w64-mingw32/',
r'/usr/bin/msys-2\.0\.dbg$',
r'/(usr|opt)/share/(man|info|locale)/',
r'/usr/(share|lib|)/terminfo/',
r'/(usr|opt)/share/locale/',
r'/usr/(share|lib)/terminfo/',
]
unneeded_re = re.compile('(' + '|'.join(unneeded) + ')')