removed unused plugin (update site build migrated to maven/tycho)

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@14624 1434b563-b632-4741-aa49-43a3a8374d2e

org.rodinp.handbook.updatesite/.project

-<?xml version="1.0" encoding="UTF-8"?>
-<projectDescription>
-	<name>org.rodinp.handbook.updatesite</name>
-	<comment></comment>
-	<projects>
-	</projects>
-	<buildSpec>
-		<buildCommand>
-			<name>org.eclipse.pde.UpdateSiteBuilder</name>
-			<arguments>
-			</arguments>
-		</buildCommand>
-	</buildSpec>
-	<natures>
-		<nature>org.eclipse.pde.UpdateSiteNature</nature>
-	</natures>
-</projectDescription>

org.rodinp.handbook.updatesite/site.xml

-<?xml version="1.0" encoding="UTF-8"?>
-<site>
-   <description name="Rodin Handbook" url="http://handbook.event-b.org">
-      This handbook provides documentation for users of the Rodin toolset, which allows working with Event-B models.
-
-Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.
-
-The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extensible with plugins.
-
-This handbook covers the use of the core platform. Documentation for developers and regarding extensions can be found in the Rodin wiki.
-
-What you see here is a working draft of the documentation. We are grateful for any feedback that you may have.
-   </description>
-   <feature url="features/org.rodinp.handbook.feature_1.0.0.201201251653.jar" id="org.rodinp.handbook.feature" version="1.0.0.201201251653">
-      <category name="handbook"/>
-   </feature>
-   <category-def name="handbook" label="Rodin Handbook">
-      <description>
-         This handbook provides documentation for users of the Rodin toolset, which allows working with Event-B models.
-
-Event-B is a formal method for system-level modelling and analysis. Key features of Event-B are the use of set theory as a modelling notation, the use of refinement to represent systems at different abstraction levels and the use of mathematical proof to verify consistency between refinement levels.
-
-The Rodin Platform is an Eclipse-based IDE for Event-B that provides effective support for refinement and mathematical proof. The platform is open source, contributes to the Eclipse framework and is further extensible with plugins.
-
-This handbook covers the use of the core platform. Documentation for developers and regarding extensions can be found in the Rodin wiki.
-
-What you see here is a working draft of the documentation. We are grateful for any feedback that you may have.
-      </description>
-   </category-def>
-</site>