mediawiki-extensions-CodeEd.../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
Add stub extension version of CodeEditor embedding Ace (ace.ajax.org) for editing JS and CSS pages. 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. 2011-06-09 21:50:45 +00:00			`# 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`