From mboxrd@z Thu Jan 1 00:00:00 1970 From: Bastien Subject: Re: A small hack to document programs externally Date: Sat, 04 Jan 2014 16:01:00 +0100 Message-ID: <87wqifrdub.fsf@bzg.ath.cx> References: Mime-Version: 1.0 Content-Type: text/plain Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:60985) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VzSis-0002Na-G7 for emacs-orgmode@gnu.org; Sat, 04 Jan 2014 10:01:15 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VzSin-0007dF-DV for emacs-orgmode@gnu.org; Sat, 04 Jan 2014 10:01:10 -0500 Received: from mail-wg0-x231.google.com ([2a00:1450:400c:c00::231]:51919) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VzSin-0007d8-71 for emacs-orgmode@gnu.org; Sat, 04 Jan 2014 10:01:05 -0500 Received: by mail-wg0-f49.google.com with SMTP id x12so14661012wgg.16 for ; Sat, 04 Jan 2014 07:01:04 -0800 (PST) In-Reply-To: (Alan Schmitt's message of "Fri, 06 Dec 2013 17:26:05 +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: Alan Schmitt Cc: Org Mode 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 ! -- Bastien