Changes
http://wiki.axiom-developer.org/144DomainAbbreviationIsNoLongerAssociatedWithFilename/diff
--
??changed:
- ## get the filename (replace spad by spad.pamphlet to work with pamphlets
- ## instead.
-
+ ## get the filename
f=\$(basename \$1 .spad)
??changed:
## 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/*)
+ ## answer, I guess.
+ ## (replace \$AXIOM/src/algebra/* by the directory containing pamphlets if
you
+ ## prefer them)
+ h=\$(grep -n ")abb.* \$f " \$AXIOM/src/algebra/*)
--removed:
number1=\${h#*:}
-
number=\${number1%:*}
--
forwarded from http://wiki.axiom-developer.org/[EMAIL PROTECTED]
