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/ |
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 |
|
56 | dl_version=5.1.3; \ |
57 | dest=$(WIMSHOME)/public_html/scripts/js/ |
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/ |
59 | wget https://github.com/ten1seven/what-input/archive/v$(dl_version).zip; \ |
65 | unzip |
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 |