[ jEdit-devel ] [ jedit-Bugs-458513 ] No XML Validation Docbook DTD

[<no...@so...>]

Bugs item #458513, was opened at 2001-09-04 13:42
You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=458513&group_id=588

Category: plugins
Group: normal bug
>Status: Closed
Resolution: None
Priority: 5
Submitted By: Nobody/Anonymous (nobody)
Assigned to: Nobody/Anonymous (nobody)
Summary: No XML Validation Docbook DTD

Initial Comment:
I use the excellent XML plugin to validate xml
documents against DTDs and to display XML trees.
usually it works well, but not with the docbook DTDs
from Norman Walsh:

http://www.docbook.org

which is very sad as I am searching a tool to publish
docbook documents.

----------------------------------------------------------------------

>Comment By: Slava Pestov (spestov)
Date: 2001-09-04 19:01

Message:
Logged In: YES 
user_id=2280

The DocBook-XML DTD seems to work fine for me. With the XML
plugin 0.3, you will have to specify a system ID for it to
work; the next release, 0.4, supports catalogs to resolve
public IDs.

----------------------------------------------------------------------

You can respond by visiting: 
http://sourceforge.net/tracker/?func=detail&atid=100588&aid=458513&group_id=588