| <?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> |