Subversion Repositories wimsdev

Rev

Rev 11130 | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 11130 Rev 13570
Line 42... Line 42...
42
	  $(WIMSHOME)/public_html/scripts/js/LaTeXMathML.js
42
	  $(WIMSHOME)/public_html/scripts/js/LaTeXMathML.js
43
	# mootools which is provided by a debian package
43
	# mootools which is provided by a debian package
44
	rm -f $(WIMSHOME)/public_html/scripts/js/editor/scripts_1/mootools.js
44
	rm -f $(WIMSHOME)/public_html/scripts/js/editor/scripts_1/mootools.js
45
	## uglified third party libraries which should be got from their
45
	## uglified third party libraries which should be got from their
46
	## official repositories
46
	## official repositories
47
	rm -rf $(WIMSHOME)/public_html/scripts/js/bower_components/jquery.mb.extruder
-
 
48
	rm -rf $(WIMSHOME)/public_html/scripts/js/bower_components/what-input
47
	rm -rf $(WIMSHOME)/public_html/scripts/js/external/what-input
49
	### delete symbols which will be generated during
48
	### delete symbols which will be generated during
50
	### the post-installation
49
	### the post-installation
51
	rm  -f $(WIMSHOME)/public_html/gifs/symbols/20/*.gif
50
	rm  -f $(WIMSHOME)/public_html/gifs/symbols/20/*.gif
52
	############## remove edit-area's uglified javascript
51
	############## remove edit-area's uglified javascript
53
	rm -f $(WIMSHOME)/public_html/scripts/js/edit_area/*full*
52
	rm -f $(WIMSHOME)/public_html/scripts/js/edit_area/*full*
54
 
53
 
55
downloads:
54
downloads:
-
 
55
	## what-input
56
	## jquery.mb.extruder version 2.6.0
56
	dl_version=5.1.3; \
57
	dest=$(WIMSHOME)/public_html/scripts/js/bower_components/; \
57
	  dest=$(WIMSHOME)/public_html/scripts/js/external/; \
58
	  cd $${dest}; \
58
	  cd $${dest}; \
59
	  wget https://github.com/pupunzi/jquery.mb.extruder/archive/2.6.0.zip; \
-
 
60
	  unzip 2.6.0.zip; rm 2.6.0.zip
-
 
61
	## what-input version 3.0.0
-
 
62
	dest=$(WIMSHOME)/public_html/scripts/js/bower_components/; \
-
 
63
	  cd $${dest}; \
-
 
64
	  wget https://github.com/ten1seven/what-input/archive/v3.0.0.zip; \
59
	  wget https://github.com/ten1seven/what-input/archive/v$(dl_version).zip; \
65
	  unzip v3.0.0.zip; rm v3.0.0.zip
60
	  unzip v$(dl_version).zip; rm v$(dl_version).zip;
66
 
61
 
67
 
62
 
68
.PHONY: all deletions removeUseless deleteBinaries
63
.PHONY: all deletions removeUseless deleteBinaries