diff options
author | Marius <mariausol@gmail.com> | 2013-03-21 15:00:17 +0200 |
---|---|---|
committer | Marius <mariausol@gmail.com> | 2013-03-21 15:00:17 +0200 |
commit | 6bb39561d4571fb85aac56a686b837a9f3c910cd (patch) | |
tree | 87f9b55ac771b742532fec258c637c0b15ec7dae /scripts/context/lua/mtx-modules.lua | |
parent | 41df6a896ad3ab1d8bb6286423e9540b2b34f576 (diff) | |
download | context-6bb39561d4571fb85aac56a686b837a9f3c910cd.tar.gz |
beta 2013.03.21 13:42
Diffstat (limited to 'scripts/context/lua/mtx-modules.lua')
-rw-r--r-- | scripts/context/lua/mtx-modules.lua | 22 |
1 files changed, 19 insertions, 3 deletions
diff --git a/scripts/context/lua/mtx-modules.lua b/scripts/context/lua/mtx-modules.lua index 902b12ac3..ef38a7156 100644 --- a/scripts/context/lua/mtx-modules.lua +++ b/scripts/context/lua/mtx-modules.lua @@ -10,9 +10,23 @@ scripts = scripts or { } scripts.modules = scripts.modules or { } local helpinfo = [[ ---convert convert source files (tex, mkii, mkiv, mp) to 'ted' files ---process process source files (tex, mkii, mkiv, mp) to 'pdf' files ---prep use original name with suffix 'prep' appended +<?xml version="1.0"?> +<application> + <metadata> + <entry name="name">mtx-modules</entry> + <entry name="detail">ConTeXt Module Documentation Generators</entry> + <entry name="version">1.00</entry> + </metadata> + <flags> + <category name="basic"> + <subcategory> + <flag name="convert"><short>convert source files (tex, mkii, mkiv, mp) to 'ted' files</short></flag> + <flag name="process"><short>process source files (tex, mkii, mkiv, mp) to 'pdf' files</short></flag> + <flag name="prep"><short>use original name with suffix 'prep' appended</short></flag> + </subcategory> + </category> + </flags> +</application> ]] local application = logs.application { @@ -181,6 +195,8 @@ if environment.argument("process") then scripts.modules.process(true) elseif environment.argument("convert") then scripts.modules.process(false) +elseif environment.argument("exporthelp") then + application.export(environment.argument("exporthelp"),environment.files[1]) else application.help() end |