Imported Upstream version 2.10+ds
[debian/jabref.git] / src / help / Plugin.html
index 575c56d96622ab1ec070ff540262db5124a6414d..d54006a4f31b113b6e4e2d3c4c5cd3b459dbccfd 100644 (file)
@@ -60,7 +60,7 @@
     \r
     <p>To add a new extension-point, you need to declare this extension-point in the plugin.xml of the core plugin similar to this:</p>\r
     \r
-<code><pre>    \r
+<pre>    \r
 &lt;extension-point id=&quot;PushToApplication&quot;&gt;\r
        &lt;parameter-def type=&quot;string&quot; id=&quot;pushToApp&quot;\r
                custom-data=&quot;&lt;classname of the interface that plugin providers need to implement&gt;&quot; /&gt;\r
@@ -70,7 +70,7 @@
                        multiplicity=&quot;none-or-one&quot; /&gt;\r
                        --&gt;\r
 &lt;/extension-point&gt;\r
-</pre></code>\r
+</pre>\r
 \r
        <p>Then you need to re-run the plugin code generator "<code>ant generate</code>", which will re-create the helper class in \r
        "<code>net.sf.jabref.plugin.core.generated</code>" so that it includes a method <code>getPushToApplicationExtensions()</code> which \r
@@ -78,7 +78,7 @@
  \r
     <p>This list then can be used like this (here an example what we do with the entry fetcher extensions):</p>\r
 \r
-<code><pre> \r
+<pre> \r
 /*\r
  * Load fetchers that are plug-in extensions\r
  */\r
@@ -99,7 +99,7 @@ for (EntryFetcher fetcher : fetchers){
   web.add(generalFetcher.getAction());\r
   fetcherActions.add(generalFetcher.getAction());\r
 }\r
-</pre></code>\r
+</pre>\r
 \r
 </body>\r
 </html>\r