|
|
|
|
@ -5,54 +5,4 @@ |
|
|
|
|
<project name="com.jme3.gde.core" default="netbeans" basedir="."> |
|
|
|
|
<description>Builds, tests, and runs the project com.jme3.gde.core.</description> |
|
|
|
|
<import file="nbproject/build-impl.xml"/> |
|
|
|
|
<path id="ant-import.classpath"> |
|
|
|
|
<fileset dir="../ant-lib/" includes="*.jar"/> |
|
|
|
|
</path> |
|
|
|
|
<taskdef resource="net/sf/antcontrib/antcontrib.properties" classpathref="ant-import.classpath"/> |
|
|
|
|
<taskdef resource="com/jme/ant/ant-jme.properties" classpath="../ant-lib/ant-jme.jar"/> |
|
|
|
|
|
|
|
|
|
<!--target name="init" depends="basic-init,files-init,build-init,-javac-init,update-help-sets"> |
|
|
|
|
</target--> |
|
|
|
|
|
|
|
|
|
<target name="update-help-sets" description="Updates the help pages from the wiki"> |
|
|
|
|
<property file="javahelp/wiki_help.properties"/> |
|
|
|
|
<echo file="javahelp/${javahelp_path}wiki-map.xml" |
|
|
|
|
message='<!DOCTYPE map PUBLIC "-//Sun Microsystems Inc.//DTD JavaHelp Map Version 2.0//EN" "http://java.sun.com/products/javahelp/map_2_0.dtd"> <map version="2.0"> '/> |
|
|
|
|
<echo file="javahelp/${javahelp_path}wiki-map.xml" append="true" |
|
|
|
|
message='<!-- DO NOT EDIT THIS FILE, EDIT wiki_help.properties INSTEAD! --> '/> |
|
|
|
|
<foreach target="-update-single-helpset" list="${wiki_pages}" delimiter="," param="page_name" inheritall="true"/> |
|
|
|
|
<echo file="javahelp/${javahelp_path}wiki-map.xml" append="true" |
|
|
|
|
message='</map> '/> |
|
|
|
|
</target> |
|
|
|
|
|
|
|
|
|
<target name="-update-single-helpset"> |
|
|
|
|
<!-- prepare variables --> |
|
|
|
|
<propertyregex property="page_path" |
|
|
|
|
input="${page_name}" |
|
|
|
|
regexp=":" |
|
|
|
|
replace="/" |
|
|
|
|
global="true"/> |
|
|
|
|
<propertyregex property="page_classpath" |
|
|
|
|
input="${page_name}" |
|
|
|
|
regexp=":" |
|
|
|
|
replace="." |
|
|
|
|
global="true"/> |
|
|
|
|
<!-- download html file --> |
|
|
|
|
<touch file="javahelp/${javahelp_path}${page_path}.html" mkdirs="true"/> |
|
|
|
|
<get src="${wiki_url}${page_name}?do=export_xhtmlbody" |
|
|
|
|
dest="javahelp/${javahelp_path}${page_path}.html"/> |
|
|
|
|
<!-- download images from page (custom task) --> |
|
|
|
|
<loadwikiimages file="javahelp/${javahelp_path}${page_path}.html" |
|
|
|
|
target="javahelp/${javahelp_path}" |
|
|
|
|
host="http://jmonkeyengine.org"/> |
|
|
|
|
<!-- fix links in wiki (custom task) --> |
|
|
|
|
<fixwikilinks file="javahelp/${javahelp_path}${page_path}.html" |
|
|
|
|
helppath="${javahelp_path}"/> |
|
|
|
|
<!-- append link to online wiki page --> |
|
|
|
|
<echo file="javahelp/${javahelp_path}${page_path}.html" append="true" |
|
|
|
|
message='<p><em><a href="${wiki_url}${page_name}?do=export_xhtmlbody">view online version</a></em></p>'/> |
|
|
|
|
<!-- add entry to map --> |
|
|
|
|
<echo file="javahelp/${javahelp_path}wiki-map.xml" append="true" |
|
|
|
|
message='<mapID target="${page_classpath}" url="${page_path}.html"/> '/> |
|
|
|
|
</target> |
|
|
|
|
</project> |
|
|
|
|
|
nor..67
12 years ago