diff options
Diffstat (limited to 'docs/org.eclipse.wst.dtdeditor.doc.user/plugin.xml')
-rw-r--r-- | docs/org.eclipse.wst.dtdeditor.doc.user/plugin.xml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/docs/org.eclipse.wst.dtdeditor.doc.user/plugin.xml b/docs/org.eclipse.wst.dtdeditor.doc.user/plugin.xml deleted file mode 100644 index 1f7b7fb219..0000000000 --- a/docs/org.eclipse.wst.dtdeditor.doc.user/plugin.xml +++ /dev/null @@ -1,22 +0,0 @@ -<?xml version="1.0" encoding="UTF-8"?> -<?eclipse version="3.1"?> -<!-- /******************************************************************************* - * 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 - * http://www.eclipse.org/legal/epl-v10.html - * - * Contributors: - * IBM Corporation - initial API and implementation - *******************************************************************************/ --> -<plugin> - - <extension point="org.eclipse.help.toc"> - <toc file="DTDEditormap_toc.xml"/> - <index path="index/"/> - </extension> - <extension point="org.eclipse.help.index"> - <index file="org.eclipse.wst.dtdeditor.doc.userindex.xml"/> - </extension> -</plugin> |