File tree 3 files changed +4
-3
lines changed
node_modules/gitbook-plugin-rust-playpen/book
3 files changed +4
-3
lines changed Original file line number Diff line number Diff line change 2
2
stage /*
3
3
node_modules /*
4
4
! node_modules /gitbook-plugin-rust-playpen
5
+ node_modules /gitbook-plugin-rust-playpen /book /mode-rust.js
5
6
node_modules /gitbook-plugin-rust-playpen /book /ace
6
7
target
Load Diff This file was deleted.
Original file line number Diff line number Diff line change 1
1
#! /bin/bash
2
2
3
3
ace_repository=' https://github.com/ajaxorg/ace-builds/trunk/src-min-noconflict'
4
- ace_local_folder =' node_modules/gitbook-plugin-rust-playpen/book/ace '
4
+ ace_playpen_local =' node_modules/gitbook-plugin-rust-playpen'
5
5
6
6
mkdir -p bin
7
7
mkdir -p stage/node_modules
8
- svn checkout ${ace_repository} ${ace_local_folder}
8
+ svn checkout ${ace_repository} ${ace_playpen_local} ' /book/ace'
9
+ cp ${ace_playpen_local} ' /book/ace/mode-rust.js' ${ace_playpen_local} ' /book/mode-rust.js'
9
10
10
11
ln -sf ../book.json stage
11
12
ln -sf ../examples/README.md stage
You can’t perform that action at this time.
0 commit comments