MAIN_INSTALL_PLUGIN=org.gvsig.publish EXTENSIONS=${MAIN_INSTALL_PLUGIN},org.gvsig.publish.mapserver,org.gvsig.publish.geoserver version=1.0 bversion=01 APPNAME=gvSIG_ext_publish gvSIG.version=1.1 #OUTPUT_DIR=/tmp/versiones/${APPNAME}/v${version} OUTPUT_DIR=/home/jvhigon/proyectos/ExtensionPublicacion/dist