diff options
Diffstat (limited to 'docs/org.eclipse.wst.xmleditor.doc.user/plugin.xml')
| -rw-r--r-- | docs/org.eclipse.wst.xmleditor.doc.user/plugin.xml | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/docs/org.eclipse.wst.xmleditor.doc.user/plugin.xml b/docs/org.eclipse.wst.xmleditor.doc.user/plugin.xml deleted file mode 100644 index f0c28f188a..0000000000 --- a/docs/org.eclipse.wst.xmleditor.doc.user/plugin.xml +++ /dev/null @@ -1,32 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.0"?> -<?NLS TYPE="org.eclipse.help.toc"?> -<!-- /******************************************************************************* - * Copyright (c) 2000, 2007 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 - *******************************************************************************/ --> -<!-- ================================================= --> -<!-- This is the plugin for declaring the help --> -<!-- contributions for using the tool. --> -<!-- ================================================= --> - -<plugin> - -<extension point="org.eclipse.help.toc"> - <toc file="XMLBuildermap_toc.xml"/> - <index path="index/"/> - -</extension> - -<extension - point="org.eclipse.help.index"> - <index file="org.eclipse.wst.xmleditor.doc.userindex.xml"/> - </extension> - -</plugin>
\ No newline at end of file |