Bastien <b...@gnu.org> writes: > 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 !
I'm not promising anything, but I've added such a task on my (long) org-related hacking todo list. Best, Alan
