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 ^
|
2011-04-12 21:53:07 +08:00
|
|
|
--js ../src/dom/DomEvent.DoubleTap.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--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 ^
|
2011-05-31 17:36:05 +08:00
|
|
|
--js ../src/geo/projection/Projection.js ^
|
|
|
|
--js ../src/geo/projection/Projection.SphericalMercator.js ^
|
|
|
|
--js ../src/geo/projection/Projection.LonLat.js ^
|
|
|
|
--js ../src/geo/projection/Projection.Mercator.js ^
|
|
|
|
--js ../src/geo/crs/CRS.js ^
|
|
|
|
--js ../src/geo/crs/CRS.EPSG3857.js ^
|
|
|
|
--js ../src/geo/crs/CRS.EPSG4326.js ^
|
|
|
|
--js ../src/geo/crs/CRS.EPSG3395.js ^
|
2011-06-10 19:47:28 +08:00
|
|
|
--js ../src/layer/LayerGroup.js ^
|
|
|
|
--js ../src/layer/FeatureGroup.js ^
|
2011-05-28 01:20:54 +08:00
|
|
|
--js ../src/layer/tile/TileLayer.js ^
|
|
|
|
--js ../src/layer/tile/TileLayer.WMS.js ^
|
|
|
|
--js ../src/layer/tile/TileLayer.Canvas.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-04-08 19:47:27 +08:00
|
|
|
--js ../src/layer/vector/Path.Popup.js ^
|
2011-06-21 23:13:43 +08:00
|
|
|
--js ../src/layer/vector/Path.SVG.js ^
|
|
|
|
--js ../src/layer/vector/Path.VML.js ^
|
|
|
|
--js ../src/layer/vector/canvas/Path.Canvas.js ^
|
2011-02-26 22:36:01 +08:00
|
|
|
--js ../src/layer/vector/Polyline.js ^
|
2011-06-21 23:13:43 +08:00
|
|
|
--js ../src/layer/vector/canvas/Polyline.Canvas.js ^
|
2011-03-01 23:41:33 +08:00
|
|
|
--js ../src/layer/vector/Polygon.js ^
|
2011-06-21 23:13:43 +08:00
|
|
|
--js ../src/layer/vector/canvas/Polygon.Canvas.js ^
|
2011-06-10 19:47:28 +08:00
|
|
|
--js ../src/layer/vector/MultiPoly.js ^
|
2011-03-01 23:41:33 +08:00
|
|
|
--js ../src/layer/vector/Circle.js ^
|
2011-06-21 23:13:43 +08:00
|
|
|
--js ../src/layer/vector/canvas/Circle.Canvas.js ^
|
2011-05-19 21:36:25 +08:00
|
|
|
--js ../src/layer/vector/CircleMarker.js ^
|
2011-06-10 19:47:28 +08:00
|
|
|
--js ../src/layer/GeoJSON.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 ^
|
2011-04-12 04:43:23 +08:00
|
|
|
--js ../src/handler/MarkerDrag.js ^
|
2011-04-11 20:49:15 +08:00
|
|
|
--js ../src/control/Control.js ^
|
|
|
|
--js ../src/control/Control.Zoom.js ^
|
2011-04-15 16:56:48 +08:00
|
|
|
--js ../src/control/Control.Attribution.js ^
|
2011-07-20 19:12:12 +08:00
|
|
|
--js ../src/control/Control.Layers.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 ^
|
2011-04-11 20:49:15 +08:00
|
|
|
--js ../src/map/ext/Map.Control.js ^
|
2010-09-23 23:44:39 +08:00
|
|
|
--js_output_file ../dist/leaflet.js
|