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

[Gabriel Dos Reis]

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?

-- Gaby