Merge pull request #55483 from bryceml/master_compress_docs_with_xz

compress docs with xz to save more space
This commit is contained in:
Daniel Wozniak 2019-12-02 08:56:13 -07:00 committed by GitHub
commit d1b2b9722e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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('..')