From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alan Schmitt Subject: Re: A small hack to document programs externally Date: Sat, 01 Feb 2014 11:22:16 +0100 Message-ID: References: <87wqifrdub.fsf@bzg.ath.cx> Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:48720) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1W9Xij-0003lw-Sn for emacs-orgmode@gnu.org; Sat, 01 Feb 2014 05:22:46 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1W9Xif-0007Dw-53 for emacs-orgmode@gnu.org; Sat, 01 Feb 2014 05:22:41 -0500 In-Reply-To: <87wqifrdub.fsf@bzg.ath.cx> (Bastien's message of "Sat, 04 Jan 2014 16:01:00 +0100") List-Id: "General discussions about Org-mode." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org Sender: emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org To: Bastien Cc: Org Mode Bastien writes: > Hi Alan, > > Alan Schmitt 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