Hi Alan, Alan Schmitt <alan.schm...@polytechnique.org> writes:
> I've just written a small hack to refer to code in other files from an > org-mode buffer, so that the referred code would be copied in the buffer > to be exported when exporting the org buffer. (Our use case is a large > Coq development which we want to document online. Our may constraint is > that we need the documentation to live in files outside the code, yet > still refer to the actual code.) It would be nice to have this on worg/org-hacks.org ! -- Bastien