From d38a3ac102271217408fbc816e78f9dd041acefc Mon Sep 17 00:00:00 2001
From: Jonah Graham
Date: Thu, 15 Oct 2020 10:07:52 -0400
Subject: Remove redundant/obsolete/unnecessary scripts (fixup)

Change-Id: I25f3cb8debd34ab184a8e115c3438d338fd8884c
---
 releng/org.eclipse.epp.config/tools/promote-a-build.sh | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/releng/org.eclipse.epp.config/tools/promote-a-build.sh b/releng/org.eclipse.epp.config/tools/promote-a-build.sh
index 7e703491..6c07d2ea 100755
--- a/releng/org.eclipse.epp.config/tools/promote-a-build.sh
+++ b/releng/org.eclipse.epp.config/tools/promote-a-build.sh
@@ -20,12 +20,6 @@ mkdir downloads
 mkdir p2
 pushd downloads
 
-# ----------------------------------------------------------------------------------------------
-# pull the XML configuration files that describe each package; these files are used by the
-# script that generates the package websites at eclipse.org/downloads
-
-cp ../releng/org.eclipse.epp.config/tools/functions.sh ../releng/org.eclipse.epp.config/packages_map.txt .
-
 # ----------------------------------------------------------------------------------------------
 # download the packages from the Jenkins build server
 # rename the packages, i.e. strip the build date, update the package file name, and add the
-- 
cgit v1.2.1