2010-09-23 00:39:25 +08:00
|
|
|
@echo off
|
2011-01-12 23:15:55 +08:00
|
|
|
java -jar ../lib/closure-compiler/compiler.jar ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js ../src/Leaflet.js ^
|
|
|
|
|
--js ../src/core/Util.js ^
|
|
|
|
|
--js ../src/core/Class.js ^
|
|
|
|
|
--js ../src/core/Events.js ^
|
|
|
|
|
--js ../src/core/Browser.js ^
|
2011-01-12 17:45:11 +08:00
|
|
|
--js ../src/geometry/Point.js ^
|
|
|
|
|
--js ../src/geometry/Bounds.js ^
|
|
|
|
|
--js ../src/geometry/Transformation.js ^
|
2011-02-26 22:36:01 +08:00
|
|
|
--js ../src/geometry/LineUtil.js ^
|
2011-03-01 23:41:33 +08:00
|
|
|
--js ../src/geometry/PolyUtil.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js ../src/dom/DomEvent.js ^
|
|
|
|
|
--js ../src/dom/DomUtil.js ^
|
|
|
|
|
--js ../src/dom/Draggable.js ^
|
2010-09-29 01:53:45 +08:00
|
|
|
--js ../src/dom/transition/Transition.js ^
|
|
|
|
|
--js ../src/dom/transition/Transition.Native.js ^
|
|
|
|
|
--js ../src/dom/transition/Transition.Timer.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js ../src/geo/LatLng.js ^
|
|
|
|
|
--js ../src/geo/LatLngBounds.js ^
|
|
|
|
|
--js ../src/geo/Projection.js ^
|
|
|
|
|
--js ../src/layer/TileLayer.js ^
|
2010-09-27 22:09:59 +08:00
|
|
|
--js ../src/layer/ImageOverlay.js ^
|
2011-01-10 22:21:27 +08:00
|
|
|
--js ../src/layer/Popup.js ^
|
2011-01-21 17:55:08 +08:00
|
|
|
--js ../src/layer/marker/Icon.js ^
|
|
|
|
|
--js ../src/layer/marker/Marker.js ^
|
|
|
|
|
--js ../src/layer/marker/Marker.Popup.js ^
|
2011-02-26 22:36:01 +08:00
|
|
|
--js ../src/layer/vector/Path.js ^
|
2011-02-28 22:14:32 +08:00
|
|
|
--js ../src/layer/vector/Path.VML.js ^
|
2011-02-26 22:36:01 +08:00
|
|
|
--js ../src/layer/vector/Polyline.js ^
|
2011-03-01 23:41:33 +08:00
|
|
|
--js ../src/layer/vector/Polygon.js ^
|
|
|
|
|
--js ../src/layer/vector/Circle.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js ../src/handler/Handler.js ^
|
|
|
|
|
--js ../src/handler/MapDrag.js ^
|
|
|
|
|
--js ../src/handler/TouchZoom.js ^
|
2010-09-27 22:09:59 +08:00
|
|
|
--js ../src/handler/ScrollWheelZoom.js ^
|
|
|
|
|
--js ../src/handler/DoubleClickZoom.js ^
|
2011-03-22 01:09:43 +08:00
|
|
|
--js ../src/handler/ShiftDragZoom.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js ../src/map/Map.js ^
|
2011-01-21 17:55:08 +08:00
|
|
|
--js ../src/map/ext/Map.Geolocation.js ^
|
|
|
|
|
--js ../src/map/ext/Map.Popup.js ^
|
|
|
|
|
--js ../src/map/ext/Map.PanAnimation.js ^
|
|
|
|
|
--js ../src/map/ext/Map.ZoomAnimation.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js_output_file ../dist/leaflet.js
|
