[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] Re: noweb
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] Re: noweb |
Date: |
09 Aug 2006 16:09:11 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.3 |
Ralf Hemmecke <address@hidden> writes:
> > | If we distribute mnt/linux/src/algebra at all, then
> > | it should probably contain the original *.spad.pamphlet files,
> > | not the notangle'd files.
>
> I was first thinking that we need that .spad files. But hyperdoc does in most
> cases not find the corresponding .spad file anyway. So I think we should
> distribute .spad.pamphlet and try to fix the links. The fix might, however,
> take some time. Is there somebody knowledgable enough to look into such a fix?
I think the following, saved as executable in $AXIOM/lib does what you
want. Should be easy to modify to work with pamphlets instead, I guess.
Martin
PS: I know very little about bash, you are welcome to rewrite it as you like it
#! /bin/bash
## get the filename (replace spad by spad.pamphlet to work with pamphlets
## instead.
f=$(basename $1 .spad)
## get the file and the line number. We can assume that grep produces only one
## answer, I guess
h=$(grep -n ")abb.* $f " $AXIOM/src/algebra/*)
## get the filename
name=${h%%:*}
## get the number
number1=${h#*:}
number=${number1%:*}
## start emacs
emacs +$number $name
- RE: [Axiom-mail] Re: noweb, (continued)
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/09
- RE: [Axiom-mail] Re: noweb, Page, Bill, 2006/08/09
- Re: [Axiom-mail] Re: noweb,
Martin Rubey <=
- Re: [Axiom-mail] Re: noweb, Martin Rubey, 2006/08/09
- RE: [Axiom-mail] Re: noweb, C Y, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/09
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/08
- Re: [Axiom-mail] Re: noweb, root, 2006/08/14
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14
- [Axiom-mail] Re: noweb, root, 2006/08/13
- Re: [Axiom-mail] Re: noweb, Ralf Hemmecke, 2006/08/14
- Re: [Axiom-mail] Re: noweb, Gabriel Dos Reis, 2006/08/14