diff options
Diffstat (limited to 'xml/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml')
-rw-r--r-- | xml/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/xml/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml b/xml/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml new file mode 100644 index 0000000000..aa57fbcde2 --- /dev/null +++ b/xml/docs/org.eclipse.wst.dtd.ui.infopop/plugin.xml @@ -0,0 +1,25 @@ +<?xml version="1.0" encoding="UTF-8"?> +<?eclipse version="3.0"?> +<!-- ================================================= --> +<!-- This is the plugin for declaring the help --> +<!-- contributions for using the tool. --> +<!-- ================================================= --> +<!-- /******************************************************************************* + * Copyright (c) 2000, 2005 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 + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * IBM Corporation - initial API and implementation + *******************************************************************************/ --> +<plugin> + +<extension point="org.eclipse.help.contexts"> + <contexts file="EditorDtdContexts.xml" plugin ="org.eclipse.wst.dtd.ui"/> + <contexts file="EditorDtdContexts2.xml" plugin ="org.eclipse.wst.dtd.core"/> +</extension> + + +</plugin>
\ No newline at end of file |