diff options
author | kprice | 2008-01-30 21:16:47 +0000 |
---|---|---|
committer | kprice | 2008-01-30 21:16:47 +0000 |
commit | 50192854da7f9daa43b022687ea79d122941e6e8 (patch) | |
tree | e01105087d3332a6435ede4db601e3340d9a1f9d /docs/org.eclipse.jst.j2ee.doc.user/plugin.xml | |
parent | 245dbf90f1558be0c821e751e6e3e2f9839be1fa (diff) | |
download | webtools.javaee-50192854da7f9daa43b022687ea79d122941e6e8.tar.gz webtools.javaee-50192854da7f9daa43b022687ea79d122941e6e8.tar.xz webtools.javaee-50192854da7f9daa43b022687ea79d122941e6e8.zip |
[216965] updates to J2EE docs for WTP 3.0. Plugin ver# increased.
Diffstat (limited to 'docs/org.eclipse.jst.j2ee.doc.user/plugin.xml')
-rw-r--r-- | docs/org.eclipse.jst.j2ee.doc.user/plugin.xml | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/docs/org.eclipse.jst.j2ee.doc.user/plugin.xml b/docs/org.eclipse.jst.j2ee.doc.user/plugin.xml index 0bb43b86f..d718056ff 100644 --- a/docs/org.eclipse.jst.j2ee.doc.user/plugin.xml +++ b/docs/org.eclipse.jst.j2ee.doc.user/plugin.xml @@ -1,8 +1,8 @@ <?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.0"?> +<?eclipse version="3.3"?> <?NLS TYPE="org.eclipse.help.toc"?> <!-- /******************************************************************************* - * Copyright (c) 2000, 2007 IBM Corporation and others. + * Copyright (c) 2000, 2008 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -20,4 +20,7 @@ <extension point="org.eclipse.help.index"> <index file="org.eclipse.jst.j2ee.doc.userindex.xml"/> </extension> + <extension point="org.eclipse.help.base.luceneSearchParticipants"> + <binding participantId="org.eclipse.help.base.xhtml"/> + </extension> </plugin>
\ No newline at end of file |