diff --git a/doc/eclipse-plugin.html b/doc/eclipse-plugin.html deleted file mode 100644 index d27624c3..00000000 --- a/doc/eclipse-plugin.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - diff --git a/doc/osgi-mapping.html b/doc/osgi-mapping.html deleted file mode 100644 index 985a05c4..00000000 --- a/doc/osgi-mapping.html +++ /dev/null @@ -1,226 +0,0 @@ - - - - - - - - - - - - - diff --git a/doc/standard-osgi.html b/doc/standard-osgi.html deleted file mode 100644 index c5e9e0d3..00000000 --- a/doc/standard-osgi.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - - diff --git a/doc/target-platform.html b/doc/target-platform.html deleted file mode 100644 index 7cc973bb..00000000 --- a/doc/target-platform.html +++ /dev/null @@ -1,36 +0,0 @@ - - - - - - - - - - - - -