From 2240e546601d60f1a9c9bb05728e8232b57733ec Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 25 May 2010 22:09:04 -0400 Subject: [PATCH] Rename "plt-installer-header" -> "installer-header" --- collects/meta/build/build | 2 +- .../unix-installer/{plt-installer-header => installer-header} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename collects/meta/build/unix-installer/{plt-installer-header => installer-header} (100%) diff --git a/collects/meta/build/build b/collects/meta/build/build index a1601bbd99..6b17c85781 100755 --- a/collects/meta/build/build +++ b/collects/meta/build/build @@ -152,7 +152,7 @@ sitemapdir="$scriptdir/sitemap" nsisdir="$scriptdir/nsis" unixinstallerdir="$scriptdir/unix-installer" unixpathcheckscript="$unixinstallerdir/check-install-paths" -unixinstallerscript="$unixinstallerdir/plt-installer-header" +unixinstallerscript="$unixinstallerdir/installer-header" # full clean tgz before building anything (relative to $maindir) cleantgz="${installdir}-clean-tree.tgz" diff --git a/collects/meta/build/unix-installer/plt-installer-header b/collects/meta/build/unix-installer/installer-header similarity index 100% rename from collects/meta/build/unix-installer/plt-installer-header rename to collects/meta/build/unix-installer/installer-header