It is possible to use srcltx even if we don't keep the
*.pamphlet.* part if we assume that all .dvi files are
derived from .pamphlet files. Right? I think this is a
reasonable assumption for Axiom given the policy on literate
programming.
srcltx does nothing else than writing setting a counter for the line
number and writes calls
\special{src:[EMAIL PROTECTED]@space\CurrentInput
or
\special{src:1\CurrentInput}
which puts some bytes into the .dvi for the point&click.
Hmmm... the task would than be to write a tex macro which
replaces the .tex extension of \CurrentInput by .pamphlet.
Maybe that would be a solution. But it doesn't solve the axiom.sty.tex
problem.
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
