From 82a7e4ea4d3400598c91a0f6225593ca1383f13f Mon Sep 17 00:00:00 2001 From: Bryce Larson Date: Sun, 1 Dec 2019 15:19:51 -0700 Subject: [PATCH] compress docs with xz to save more space --- noxfile.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/noxfile.py b/noxfile.py index 9e794e890f0e..41f6229a3107 100644 --- a/noxfile.py +++ b/noxfile.py @@ -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('..')