[josm-dev] change distribution of internal mappaint styles

[Sebastian Klein]

Hi,

I'll change the build process (see patch below) in order to add more 
default mappaint styles for default selection in future. Otherwise we'd 
need to change the scripts (including server-side) for each new file.
The internal stuff can be moved to a new styles_nodist folder.

Sebastian


Index: build.xml
===================================================================
--- build.xml	(revision 3856)
+++ build.xml	(working copy)
@@ -82,9 +82,6 @@
  		<copy file="README" todir="build"/>
  		<copy file="LICENSE" todir="build"/>

-		<!-- styles -->
-		<copy file="styles/standard/elemstyles.xml" todir="build/data"/>
-
  		<!-- create josm-custom.jar -->
  		<delete file="dist/josm-custom.jar"/>
  		<jar destfile="dist/josm-custom.jar" basedir="build" level="${clevel}">
@@ -96,6 +93,7 @@
  			</manifest>
  			<zipfileset dir="images" prefix="images" />
  			<zipfileset dir="data" prefix="data" />
+			<zipfileset dir="styles" prefix="styles" />
  			<zipfileset dir="src/org/openstreetmap/gui/jmapviewer/images" 
prefix="org/openstreetmap/gui/jmapviewer/images" />

  			<!-- All jar files necessary to run only JOSM (no tests) -->