diff options
Diffstat (limited to 'doc/context/scripts/mkii/xmltools.xml')
| -rw-r--r-- | doc/context/scripts/mkii/xmltools.xml | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/doc/context/scripts/mkii/xmltools.xml b/doc/context/scripts/mkii/xmltools.xml deleted file mode 100644 index 4b784c4e7..000000000 --- a/doc/context/scripts/mkii/xmltools.xml +++ /dev/null @@ -1,21 +0,0 @@ -<?xml version="1.0"?> -<application> - <metadata> - <entry name="name">xmltools</entry> - <entry name="detail">XMLTools</entry> - <entry name="version">1.2.2</entry> - </metadata> - <flags> - <category name="basic"> - <subcategory> - <flag name="dir"><short>generate directory listing</short></flag> - <flag name="mmlpages"><short>generate graphic from mathml</short></flag> - <flag name="analyze"><short>report entities and elements [<ref name="utf"/> <ref name="process"/>]</short></flag> - <flag name="cleanup"><short>cleanup xml file [<ref name="force"/>]</short></flag> - <flag name="enhance"><short>enhance xml file (partial)</short></flag> - <flag name="filter"><short>filter elements from xml file [<ref name="element"/>]</short></flag> - <flag name="dir"><short>generate ddirectory listing</short></flag> - </subcategory> - </category> - </flags> -</application> |