Move our watermark to resources so that distro can pick it up (#30256)

* move watermark to resources folder

* add to build

* 💄

* update distro

* update distro
This commit is contained in:
Benjamin Pasero
2017-07-12 08:57:37 +02:00
committed by GitHub
parent 4080a38ada
commit de4b5be4c6
10 changed files with 118 additions and 26 deletions

View File

@@ -283,6 +283,8 @@ function packageTask(platform, arch, opts) {
const license = gulp.src(['LICENSES.chromium.html', 'LICENSE.txt', 'ThirdPartyNotices.txt', 'licenses/**'], { base: '.' });
const watermark = gulp.src(['resources/letterpress.svg', 'resources/letterpress-dark.svg', 'resources/letterpress-hc.svg'], { base: '.' });
// TODO the API should be copied to `out` during compile, not here
const api = gulp.src('src/vs/vscode.d.ts').pipe(rename('out/vs/vscode.d.ts'));
@@ -306,6 +308,7 @@ function packageTask(platform, arch, opts) {
packageJsonStream,
productJsonStream,
license,
watermark,
api,
sources,
deps