use files from new build_support directory
This commit is contained in:
parent
e99c796e73
commit
3210edda92
3 changed files with 10 additions and 2 deletions
1
.gitignore
vendored
1
.gitignore
vendored
|
|
@ -13,3 +13,4 @@
|
||||||
# A handy place to put stuff that git should ignore:
|
# A handy place to put stuff that git should ignore:
|
||||||
/ignore/
|
/ignore/
|
||||||
|
|
||||||
|
build/
|
||||||
|
|
|
||||||
|
|
@ -118,15 +118,22 @@ copy({
|
||||||
var data = copy.createDataObject();
|
var data = copy.createDataObject();
|
||||||
copy({
|
copy({
|
||||||
source: [
|
source: [
|
||||||
'demo/mini_require.js',
|
'build_support/mini_require.js',
|
||||||
pilot,
|
pilot,
|
||||||
// cockpit,
|
// cockpit,
|
||||||
ace,
|
ace,
|
||||||
'demo/build_boot.js'
|
'build_support/boot.js'
|
||||||
],
|
],
|
||||||
dest: data
|
dest: data
|
||||||
});
|
});
|
||||||
|
|
||||||
|
copy({
|
||||||
|
source: [
|
||||||
|
'build_support/editor.html'
|
||||||
|
],
|
||||||
|
dest: 'build/editor.html'
|
||||||
|
});
|
||||||
|
|
||||||
// Create the compressed and uncompressed output files
|
// Create the compressed and uncompressed output files
|
||||||
copy({
|
copy({
|
||||||
source: data,
|
source: data,
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue