<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.4"?>
<plugin>

	<extension point="org.eclipse.help.toc">
		<toc file="target/site/mediawiki/userdoc/library/library-toc.xml" primary="false"/>
		<toc file="target/site/mediawiki/userdoc/library/GoFPatterns/GoFPatterns-toc.xml" primary="false"/>
		<toc file="target/site/mediawiki/userdoc/patterns/patterns-toc.xml" primary="false"/>
		<toc file="target/site/mediawiki/userdoc/patterns/overview-toc.xml" primary="false"/>
	</extension>
	
</plugin>