Robby Findler <> writes:

> On Thu, Jul 7, 2011 at 2:48 AM, Michael Sperber <> 
> wrote:
>> Eli Barzilay <> writes:
>>>> Yeah, well, except you run into trouble almost immediately because
>>>> that code contains references, and Scribble is sensitive to all
>>>> kinds of side conditions involving references.
>> I'm talking about the references to identifiers, and sections.
>> Guillaume and I want pure, verbatim duplication of a piece of
>> documentation.
> Is the issue is that you want the links in one copy of the docs to go
> to one place and the links in another copy to go in another place and
> Scribble's use of lexical scope to do linking is getting in your way?


Cheers =8-} Mike
Friede, Völkerverständigung und überhaupt blabla
  For list-related administrative tasks:

Reply via email to