[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] Re: [Axiom-mail] Re: noweb
From: |
Gabriel Dos Reis |
Subject: |
Re: [Axiom-developer] Re: [Axiom-mail] Re: noweb |
Date: |
14 Aug 2006 23:08:10 +0200 |
David MENTRE <address@hidden> writes:
| Hello,
|
| Ok, so why not modifiying 'document' itself, like in:
Really, I don't believe the issue is that of "gaby mode".
document is doing too many things at the same time.
There was a comparison with tar earlier. However, tar does many
things at the same only if you give many options :-).
I would like to see:
--all # do "everything"
--weave # extract tex files, don't compile
# probably with more options, e.g. --delay
--tangle # extract source code, probably with more
# option, e.g. --tabs=8
Those are what I currently use; you're welcome to expand and submit as
a patch and pray Father Tim accepts it :-)
-- Gaby
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, (continued)
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- [Axiom-developer] Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- Re: [Axiom-developer] Re: [Axiom-mail] Re: noweb, David MENTRE, 2006/08/14
- Re: [Axiom-developer] Re: [Axiom-mail] Re: noweb,
Gabriel Dos Reis <=
- [Axiom-developer] building Silver, Page, Bill, 2006/08/15
- RE: [Axiom-developer] building Silver, Page, Bill, 2006/08/15
- Re: [Axiom-developer] building Silver, Gabriel Dos Reis, 2006/08/15
- RE: [Axiom-developer] building Silver, Page, Bill, 2006/08/15