diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-10-26 03:02:52 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-10-26 03:02:52 +0000 |
| commit | 280fb471191bf68be050a8e13a620262705b56d4 (patch) | |
| tree | f1056999b2fdc500ee2768e178468b503fcd13e0 /src/driver | |
| parent | d9bb3b6ba4d75814b63b3308e333f9d3ad8a85ee (diff) | |
| download | open-axiom-280fb471191bf68be050a8e13a620262705b56d4.tar.gz | |
* share/tex/open-axiom.sty: New.
* share/Makefile.in (FILES): Update.
($(axiom_target_texdir)/open-axiom.sty): New rule.
* lib/cfuns-c.c (oa_spawn)[__WIN32__]: Return exit status if in
overlay mode.
* include/open-axiom.h (OPENAXIOM_TEXINPUTS_PATH): Tidy.
(OPENAXIOM_BIBINPUTS_PATH): Likewise.
* driver/utils.c (print_usage): Document --execute option.
Diffstat (limited to 'src/driver')
| -rw-r--r-- | src/driver/utils.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/driver/utils.c b/src/driver/utils.c index b3ba56e9..d0d4ca86 100644 --- a/src/driver/utils.c +++ b/src/driver/utils.c @@ -200,6 +200,7 @@ static void print_usage(void) { print_line(" --hyperdoc Start the HyperDoc component. This option is meaningful"); print_line(" only if OpenAxiom was built with graphics support."); print_line(" --no-hyperdoc Do not start the HyperDoc component."); + print_line(" --execute cmd args execute `cmd' with arguments `args'"); print_line(""); print_line("Compiler options:"); |