build.xml 3.0 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <!-- You may freely edit this file. See harness/README in the NetBeans platform -->
  3. <!-- for some information on what you could do (e.g. targets to override). -->
  4. <!-- If you delete this file and reopen the project it will be recreated. -->
  5. <project name="com.jme3.gde.core" default="netbeans" basedir=".">
  6. <description>Builds, tests, and runs the project com.jme3.gde.core.</description>
  7. <import file="nbproject/build-impl.xml"/>
  8. <path id="ant-import.classpath">
  9. <fileset dir="../ant-lib/" includes="*.jar"/>
  10. </path>
  11. <taskdef resource="net/sf/antcontrib/antcontrib.properties" classpathref="ant-import.classpath"/>
  12. <taskdef resource="com/jme/ant/ant-jme.properties" classpath="../ant-lib/ant-jme.jar"/>
  13. <!--target name="init" depends="basic-init,files-init,build-init,-javac-init,update-help-sets">
  14. </target-->
  15. <target name="update-help-sets" description="Updates the help pages from the wiki">
  16. <property file="javahelp/wiki_help.properties"/>
  17. <echo file="javahelp/${javahelp_path}wiki-map.xml"
  18. message='&lt;!DOCTYPE map PUBLIC "-//Sun Microsystems Inc.//DTD JavaHelp Map Version 2.0//EN" "http://java.sun.com/products/javahelp/map_2_0.dtd">&#13;&lt;map version="2.0">&#13;'/>
  19. <foreach target="-update-single-helpset" list="${wiki_pages}" delimiter="," param="page_name" inheritall="true"/>
  20. <echo file="javahelp/${javahelp_path}wiki-map.xml" append="true"
  21. message='&lt;/map>&#13;'/>
  22. </target>
  23. <target name="-update-single-helpset">
  24. <!-- prepare variables -->
  25. <propertyregex property="page_path"
  26. input="${page_name}"
  27. regexp=":"
  28. replace="/"
  29. global="true"/>
  30. <propertyregex property="page_classpath"
  31. input="${page_name}"
  32. regexp=":"
  33. replace="."
  34. global="true"/>
  35. <!-- download html file -->
  36. <touch file="javahelp/${javahelp_path}${page_path}.html" mkdirs="true"/>
  37. <get src="${wiki_url}${page_name}?do=export_xhtmlbody"
  38. dest="javahelp/${javahelp_path}${page_path}.html"/>
  39. <!-- download images from page (custom task) -->
  40. <loadwikiimages file="javahelp/${javahelp_path}${page_path}.html"
  41. target="javahelp/${javahelp_path}"
  42. host="http://jmonkeyengine.org"/>
  43. <!-- fix links in wiki (custom task) -->
  44. <fixwikilinks file="javahelp/${javahelp_path}${page_path}.html"
  45. helppath="${javahelp_path}"/>
  46. <!-- append link to online wiki page -->
  47. <echo file="javahelp/${javahelp_path}${page_path}.html" append="true"
  48. message='&lt;p>&lt;em>&lt;a href="${wiki_url}${page_name}?do=export_xhtmlbody">view online version&lt;/a>&lt;/em>&lt;/p>'/>
  49. <!-- add entry to map -->
  50. <echo file="javahelp/${javahelp_path}wiki-map.xml" append="true"
  51. message='&lt;mapID target="${page_classpath}" url="${page_path}.html"/>&#13;'/>
  52. </target>
  53. </project>