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