blob: d657ee52ebf6ae33a6c17242ebdc934a32acfd5c [file] [log] [blame]
<?xml version="1.0" encoding="UTF-8"?>
<?eclipse version="3.1"?>
<!-- /*******************************************************************************
* 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
name = "DTD Editor documentation"
id = "org.eclipse.wst.dtdeditor.doc.user"
version = "0.7.0"
provider-name = "Eclipse.org">
<extension point="org.eclipse.help.toc">
<toc file="DTDEditormap_toc.xml"/>
<toc file="dtdeditor_reference_toc.xml"/>
</extension>
</plugin>