aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Liska <mliska@suse.cz>2022-11-13 21:56:51 +0100
committerMartin Liska <mliska@suse.cz>2022-11-14 09:35:04 +0100
commit65ae20063a12bc6a6b78885410368eb62c7a0eb1 (patch)
tree5881d15de50f6fa6fbc251ecb1474161bb4df0e5
parent37a50987140636ce21707be70d63689eeb594221 (diff)
downloadgcc-65ae20063a12bc6a6b78885410368eb62c7a0eb1.zip
gcc-65ae20063a12bc6a6b78885410368eb62c7a0eb1.tar.gz
gcc-65ae20063a12bc6a6b78885410368eb62c7a0eb1.tar.bz2
Revert "docs: create sources tarball"
This reverts commit 52eedc1fa3d211f29196eed60e11e6a8738329c2.
-rwxr-xr-xmaintainer-scripts/update_web_docs_git.py29
1 files changed, 0 insertions, 29 deletions
diff --git a/maintainer-scripts/update_web_docs_git.py b/maintainer-scripts/update_web_docs_git.py
index d9cf9b7..18c8bbb 100755
--- a/maintainer-scripts/update_web_docs_git.py
+++ b/maintainer-scripts/update_web_docs_git.py
@@ -37,32 +37,6 @@ def find_configs():
yield (Path(root).resolve(), docname)
-def create_source_tarball(output, configs):
- pwd = Path('.').resolve()
- subfolders = {'doc'}
- explicit_files = {'gcc/BASE-VER', 'gcc/DEV-PHASE', 'gcc/DATESTAMP'}
-
- for location, _ in configs:
- location = location.relative_to(pwd)
- while not location.name == 'doc':
- location = location.parent
- subfolders.add(location)
-
- sources = Path('sources')
- sources.mkdir()
-
- # Copy all subfolders and files
- for subfolder in subfolders:
- shutil.copytree(subfolder, sources / subfolder)
-
- for filename in explicit_files:
- shutil.copy(filename, sources / filename)
-
- shutil.make_archive(Path(output, 'docs-sources'), 'gztar',
- sources)
- print('sources tarball has been created')
-
-
with tempfile.TemporaryDirectory() as folder:
print(f'Using {folder} as temporary directory')
os.chdir(folder)
@@ -75,9 +49,6 @@ with tempfile.TemporaryDirectory() as folder:
if not output.exists():
output.mkdir()
- # Create source tarball
- create_source_tarball(output, configs)
-
temp = Path('tmp').resolve()
temp.mkdir()