diff options
| author | Marius <mariausol@gmail.com> | 2013-03-23 15:20:14 +0200 |
|---|---|---|
| committer | Marius <mariausol@gmail.com> | 2013-03-23 15:20:14 +0200 |
| commit | e486991f986cb96e6ef5f5b03f83494f16cb2acb (patch) | |
| tree | 4105520acf58999e2764abb2992a8f3228e13fdd /doc/context/scripts/mkii/texexec.xml | |
| parent | e63d6fbae0555a9d20dc3f0f91cf574612a1dfc7 (diff) | |
| download | context-e486991f986cb96e6ef5f5b03f83494f16cb2acb.tar.gz | |
beta 2013.03.23 14:11
Diffstat (limited to 'doc/context/scripts/mkii/texexec.xml')
| -rw-r--r-- | doc/context/scripts/mkii/texexec.xml | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/doc/context/scripts/mkii/texexec.xml b/doc/context/scripts/mkii/texexec.xml deleted file mode 100644 index c3cb6127b..000000000 --- a/doc/context/scripts/mkii/texexec.xml +++ /dev/null @@ -1,32 +0,0 @@ -<?xml version="1.0"?> -<application> - <metadata> - <entry name="name">texexec</entry> - <entry name="detail">TeXExec</entry> - <entry name="version">6.2.1</entry> - </metadata> - <flags> - <category name="basic"> - <subcategory> - <flag name="make"><short>make formats</short></flag> - <flag name="check"><short>check versions</short></flag> - <flag name="process"><short>process file</short></flag> - <flag name="mptex"><short>process mp file</short></flag> - <flag name="mpxtex"><short>process mpx file</short></flag> - <flag name="mpgraphic"><short>process mp file to stand-alone graphics</short></flag> - <flag name="mpstatic"><short>process mp/ctx file to stand-alone graphics</short></flag> - <flag name="listing"><short>list of file content</short></flag> - <flag name="figures"><short>generate overview of figures</short></flag> - <flag name="modules"><short>generate module documentation</short></flag> - <flag name="pdfarrange"><short>impose pages (booklets)</short></flag> - <flag name="pdfselect"><short>select pages from file(s)</short></flag> - <flag name="pdfcopy"><short>copy pages from file(s)</short></flag> - <flag name="pdftrim"><short>trim pages from file(s)</short></flag> - <flag name="pdfcombine"><short>combine multiple pages</short></flag> - <flag name="pdfsplit"><short>split file in pages</short></flag> - </subcategory> - </category> - </flags> - </category> - </flags> -</application> |