Skip to content

Commit

Permalink
Merge pull request #85 from atcoder/patch/zip
Browse files Browse the repository at this point in the history
fix bug of generate_zip
  • Loading branch information
yosupo06 authored Dec 14, 2020
2 parents 6c72ff3 + c057fbb commit 75814db
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions tools/generate_zip.py
Original file line number Diff line number Diff line change
Expand Up @@ -20,6 +20,8 @@
zipf.write(f, 'document_{}/'.format(lang) + f.name)
for f in (Path('..') / 'document_{}/lib'.format(lang)).glob('**/*'):
zipf.write(f, 'document_{}/lib/'.format(lang) + f.name)
for f in (Path('..') / 'document_{}/lib/fonts'.format(lang)).glob('**/*'):
zipf.write(f, 'document_{}/lib/fonts/'.format(lang) + f.name)


for f in (Path('..') / 'atcoder').glob('*'):
Expand Down

0 comments on commit 75814db

Please sign in to comment.