mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-30 18:04:27 +00:00
ec233e4297
Simply using the existing gadget version modified to load Ace from the extension directory for now, will integrate better into WikiEditor and use ResourceLoader to load Ace itself in upcoming commits.
19 lines
379 B
Makefile
19 lines
379 B
Makefile
# Helper to pull the ace goodies
|
|
|
|
.PHONY: all clean refresh
|
|
|
|
all: refresh
|
|
|
|
clean:
|
|
rm -rf modules/ace ace-git
|
|
|
|
refresh: ace-git
|
|
test -d modules/ace || mkdir modules/ace
|
|
(cd ace-git && git checkout master && git pull origin master)
|
|
rsync -av ace-git/build/src/ modules/ace/
|
|
cp ace-git/LICENSE modules/ace/LICENSE
|
|
|
|
ace-git:
|
|
git clone git://github.com/ajaxorg/ace.git ace-git
|
|
|