[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...


reply via email to

[Prev in Thread] Current Thread [Next in Thread]