svn-gvsig-desktop / trunk / org.gvsig.desktop / org.gvsig.desktop.plugin / org.gvsig.help.app / org.gvsig.help.app.mainplugin / build.xml @ 40557
History | View | Annotate | Download (2.73 KB)
1 |
<!--
|
---|---|
2 |
|
3 |
gvSIG. Desktop Geographic Information System.
|
4 |
|
5 |
Copyright (C) 2007-2013 gvSIG Association.
|
6 |
|
7 |
This program is free software; you can redistribute it and/or
|
8 |
modify it under the terms of the GNU General Public License
|
9 |
as published by the Free Software Foundation; either version 3
|
10 |
of the License, or (at your option) any later version.
|
11 |
|
12 |
This program is distributed in the hope that it will be useful,
|
13 |
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
14 |
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
15 |
GNU General Public License for more details.
|
16 |
|
17 |
You should have received a copy of the GNU General Public License
|
18 |
along with this program; if not, write to the Free Software
|
19 |
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
|
20 |
MA 02110-1301, USA.
|
21 |
|
22 |
For any additional information, do not hesitate to contact us
|
23 |
at info AT gvsig.com, or visit our website www.gvsig.com.
|
24 |
|
25 |
-->
|
26 |
<project name="Generar extension en Andami" default="help-documentation-zip" basedir="."> |
27 |
<description>
|
28 |
Prepara el manual de usuario para el plugin de de Ayuda de gvSIG en Andami. |
29 |
</description>
|
30 |
<!-- set global properties for this build -->
|
31 |
<property name="dist" location="dist-temp" /> |
32 |
<property name="plugin" value="org.gvsig.help" /> |
33 |
<property name="extension-dir" location="../build/product/gvSIG/extensiones" /> |
34 |
<property name="mydist" location="dist" /> |
35 |
<import file="../binaries/ant/utilities.xml" /> |
36 |
|
37 |
<target name="init"> |
38 |
<!-- Create the time stamp -->
|
39 |
<tstamp /> |
40 |
<!-- Create the build directory structure used by compile -->
|
41 |
<mkdir dir="${dist}" /> |
42 |
</target>
|
43 |
|
44 |
<target name="help-documentation-zip"> |
45 |
|
46 |
<!--get src="http://"
|
47 |
dest="${mydist}/gvSIG/manual-de-usuario.zip"
|
48 |
/-->
|
49 |
|
50 |
<unzip src="${mydist}/gvSIG/manual-de-usuario.zip" dest="${mydist}/gvSIG"> |
51 |
<patternset>
|
52 |
<include name="manual-de-usuario/es/map.jhm" /> |
53 |
</patternset>
|
54 |
</unzip>
|
55 |
|
56 |
<loadfile property="add_text" srcFile="${mydist}/gvSIG/map.jhm.add" /> |
57 |
<loadfile property="end_text" srcFile="${mydist}/gvSIG/end.add" /> |
58 |
|
59 |
<property name="total" value="${add_text}${end_text}" /> |
60 |
|
61 |
<replace file="${mydist}/gvSIG/manual-de-usuario/es/map.jhm" value="${total}"> |
62 |
<replacetoken>
|
63 |
<![CDATA[</map>]]></replacetoken> |
64 |
</replace>
|
65 |
|
66 |
<zip destfile="${dist}/gvSIG/manual-de-usuario.zip" basedir="${mydist}/gvSIG" includes="manual-de-usuario/**/**" excludes="**/*.db" update="true" /> |
67 |
</target>
|
68 |
|
69 |
<target name="move-to-andami"> |
70 |
<move todir="${extension-dir}/${plugin}/"> |
71 |
<fileset dir="${dist}" includes="**/**" /> |
72 |
</move>
|
73 |
</target>
|
74 |
|
75 |
<target name="clean"> |
76 |
<delete dir="${dist}" failonerror="no" /> |
77 |
</target>
|
78 |
|
79 |
</project>
|