Re: [Axiom-developer] Re: Request for wh-sandbox and build-improvements

[Martin Rubey]

Gabriel Dos Reis <address@hidden> writes:

> Martin Rubey <address@hidden> writes:
> 
> | 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.)
> 
> 
> How do you say, produce a clisp/dvi/pdf out of this?  How do you say,
> just compile the tangled code?


OK, personally, I only use "document", from within emacs (I made it a command
in AucTeX), so it produces the spad and the dvi.

Since I strongly believe that we should switch to ALLPROSE as soon as possible,
(which will replace "document" with "make") I won't insist on anything.

Thus, I think that

  axiom --document=tangle foo.pamphlet

is quite ok.

Martin