[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Axiom-developer] Re: Request for wh-sandbox and build-improvements
From: |
Martin Rubey |
Subject: |
[Axiom-developer] Re: Request for wh-sandbox and build-improvements |
Date: |
12 Apr 2007 16:49:08 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
address@hidden writes:
> Quoting Martin Rubey <address@hidden>:
>
> > A request for both build-improvements and wh-sandbox:
> >
> > could you please install "document" by default, and include my SPADEDIT
> > file,
> > which is located at
>
> Install it where?
> I consider installing it in $prefix/bin an unwarranted pollution.
> We can install it in $libdir and add an option "--document" to the
> axiom script, e.g. you could say
>
> axiom --document=tangle foo.pamphlet
that would be OK, although I'd prefer
axiom --document foo.pamphlet
(I know I'd forget the tangle all the time.)
Maybe even
axiom foo.pamphlet
but no, that's confusing...
Martin
- [Axiom-developer] problems compiling wh-sandbox 503, Martin Rubey, 2007/04/12
- [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503, Gregory Vanuxem, 2007/04/12
- Re: [Axiom-developer] problems compiling build-improvements 502 was: Re: problems compiling wh-sandbox 503, Gabriel Dos Reis, 2007/04/12
- [Axiom-developer] Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- [Axiom-developer] Re: Request for wh-sandbox and build-improvements, gdr, 2007/04/12
- [Axiom-developer] Re: Request for wh-sandbox and build-improvements,
Martin Rubey <=
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/12
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Gabriel Dos Reis, 2007/04/13
- Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements, Martin Rubey, 2007/04/13