@ -18,6 +18,8 @@
<property file= "javahelp/wiki_help.properties" />
<property file= "javahelp/wiki_help.properties" />
<echo file= "javahelp/${javahelp_path}wiki-map.xml"
<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"> '/>
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" />
<foreach target= "-update-single-helpset" list= "${wiki_pages}" delimiter= "," param= "page_name" inheritall= "true" />
<echo file= "javahelp/${javahelp_path}wiki-map.xml" append= "true"
<echo file= "javahelp/${javahelp_path}wiki-map.xml" append= "true"
message='< /map> '/>
message='< /map> '/>