diff options
Diffstat (limited to 'result/XInclude/docids.xml')
-rw-r--r-- | result/XInclude/docids.xml | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/result/XInclude/docids.xml b/result/XInclude/docids.xml deleted file mode 100644 index ad8e6e6..0000000 --- a/result/XInclude/docids.xml +++ /dev/null @@ -1,19 +0,0 @@ -<?xml version="1.0"?> -<!DOCTYPE book [ -<!ELEMENT book (doc)*> -<!ELEMENT doc (isid)*> -<!ELEMENT isid EMPTY> -<!ATTLIST isid myid ID #IMPLIED> -]> -<book> -<doc> -<isid myid="mine"/> -<isid myid="dup"/> -</doc> -<!-- including another XML document with IDs --> -<doc xml:base="../ents/ids.xml"> -<isid myid="dup"/> -<isid myid="foo"/> -<isid myid="bar"/> -</doc> -</book> |