remove obsolete ExtJS4 files

diff --git a/www/ext4/.gitignore b/www/ext4/.gitignore
deleted file mode 100644 (file)
index a766041..0000000
--- a/www/ext4/.gitignore
+++ /dev/null
@@ -1 +0,0 @@
-extjs

diff --git a/www/ext4/Makefile b/www/ext4/Makefile
deleted file mode 100644 (file)
index 7fa2276..0000000
--- a/www/ext4/Makefile
+++ /dev/null
@@ -1,37 +0,0 @@
-include ../../defines.mk
-
-EXTJSDIR=ext-4.0.7-gpl
-EXTJSSRC=${EXTJSDIR}.zip
-
-EXTDATA =                                      \
-       extjs/ext-all.js                        \
-       extjs/ext-all-debug.js                  \
-       extjs/bootstrap.js
-
-${EXTDATA}: ${EXTJSSRC}
-       rm -rf ${EXTJSDIR} extjs
-       unzip -x ${EXTJSSRC}
-       mv ${EXTJSDIR} extjs
-       touch ${EXTDATA}
-
-all: ${EXTDATA}
-
-.PHONY: install 
-install: ${EXTDATA}
-       install -d ${WWWEXT4DIR}
-       install -m 0644 ${EXTDATA} ${WWWEXT4DIR}
-       install -d ${WWWEXT4DIR}/resources/css
-       install -m 0644 extjs/resources/css/ext-all.css ${WWWEXT4DIR}/resources/css
-       install -d ${WWWEXT4DIR}/resources/themes/images
-       cp -a extjs/resources/themes/images/default ${WWWEXT4DIR}/resources/themes/images
-       cp -a extjs/locale ${WWWEXT4DIR}
-       chown -R www-data:www-data ${WWWEXT4DIR}
-       find ${WWWEXT4DIR} -type f -exec chmod -R 0644 '{}' ';'
-
-.PHONY: distclean
-distclean: clean
-
-.PHONY: clean
-clean:
-       rm -rf *~ ${EXTJSDIR} extjs
-

diff --git a/www/ext4/ext-4.0.7-gpl.zip b/www/ext4/ext-4.0.7-gpl.zip
deleted file mode 100644 (file)
index 9a26083..0000000
Binary files a/www/ext4/ext-4.0.7-gpl.zip and /dev/null differ