compress docs with xz to save more space

This commit is contained in:
Bryce Larson 2019-12-01 15:19:51 -07:00
parent 70c8637cf4
commit 82a7e4ea4d
No known key found for this signature in database
GPG key ID: 131C38B0F02DB4CA

View file

@ -1001,7 +1001,7 @@ def docs_html(session, compress):
session.run('make', 'clean', external=True)
session.run('make', 'html', 'SPHINXOPTS=-W', external=True)
if compress:
session.run('tar', '-czvf', 'html-archive.tar.gz', '_build/html', external=True)
session.run('tar', '-cJvf', 'html-archive.tar.xz', '_build/html', external=True)
os.chdir('..')
@ -1034,5 +1034,5 @@ def docs_man(session, compress, update):
session.run('rm', '-rf', 'man/', external=True)
session.run('cp', '-Rp', '_build/man', 'man/', external=True)
if compress:
session.run('tar', '-czvf', 'man-archive.tar.gz', '_build/man', external=True)
session.run('tar', '-cJvf', 'man-archive.tar.xz', '_build/man', external=True)
os.chdir('..')