1 files changed, 0 insertions, 53 deletions
diff --git a/libjava/gnu/xml/dom/html2/DomHTMLIsIndexElement.h b/libjava/gnu/xml/dom/html2/DomHTMLIsIndexElement.h
deleted file mode 100644
index 3b67d34..0000000
--- a/libjava/gnu/xml/dom/html2/DomHTMLIsIndexElement.h
+++ /dev/null
@@ -1,53 +0,0 @@
-
-// DO NOT EDIT THIS FILE - it is machine generated -*- c++ -*-
-
-#ifndef __gnu_xml_dom_html2_DomHTMLIsIndexElement__
-#define __gnu_xml_dom_html2_DomHTMLIsIndexElement__
-
-#pragma interface
-
-#include <gnu/xml/dom/html2/DomHTMLElement.h>
-extern "Java"
-{
-  namespace gnu
-  {
-    namespace xml
-    {
-      namespace dom
-      {
-        namespace html2
-        {
-            class DomHTMLDocument;
-            class DomHTMLIsIndexElement;
-        }
-      }
-    }
-  }
-  namespace org
-  {
-    namespace w3c
-    {
-      namespace dom
-      {
-        namespace html2
-        {
-            class HTMLFormElement;
-        }
-      }
-    }
-  }
-}
-
-class gnu::xml::dom::html2::DomHTMLIsIndexElement : public ::gnu::xml::dom::html2::DomHTMLElement
-{
-
-public: // actually protected
-  DomHTMLIsIndexElement(::gnu::xml::dom::html2::DomHTMLDocument *, ::java::lang::String *, ::java::lang::String *);
-public:
-  virtual ::org::w3c::dom::html2::HTMLFormElement * getForm();
-  virtual ::java::lang::String * getPrompt();
-  virtual void setPrompt(::java::lang::String *);
-  static ::java::lang::Class class$;
-};
-
-#endif // __gnu_xml_dom_html2_DomHTMLIsIndexElement__