plugin.xml

Games for Eclipse这个项目的目的是为 Eclipse IDE(www.eclipse.org project)提供不同的游戏插件。

<?xml version="1.0" encoding="UTF-8"?>
<plugin
   name="Help Plugin"
   id="es.org.chemi.games.minesweeper.help_R2"
   version="1.0.0"
   provider-name="Chemi">

   <extension point="org.eclipse.help.toc">
	   	<toc file="games_toc.xml" primary="true"/>
   		<toc file="minesweeper_toc.xml"/>
   		<toc file="index_toc.xml"/>   	   		   	
   </extension>
</plugin>