Parcourir la source

SDK:
- update manual build script to include nice message to document writers about the use of wiki_help.properties

git-svn-id: https://jmonkeyengine.googlecode.com/svn/trunk@9422 75d07b2b-3a1a-0410-a2c5-0572b91ccdca

nor..67 il y a 13 ans
Parent
commit
c5b12a4740
1 fichiers modifiés avec 2 ajouts et 0 suppressions
  1. 2 0
      jme3-core/build.xml

+ 2 - 0
jme3-core/build.xml

@@ -18,6 +18,8 @@
         <property file="javahelp/wiki_help.properties"/>
         <echo file="javahelp/${javahelp_path}wiki-map.xml"
             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;'/>
+        <echo file="javahelp/${javahelp_path}wiki-map.xml" append="true"
+             message='&lt;!-- DO NOT EDIT THIS FILE, EDIT wiki_help.properties INSTEAD! -->&#13;'/>
         <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='&lt;/map>&#13;'/>