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 finally found the time to do it: http://orgmode.org/worg/org-hacks.html#sec-1-10-4 Any criticism is highly welcome! Alan