From mboxrd@z Thu Jan  1 00:00:00 1970
From: Suvayu Ali <fatkasuvayu+linux@gmail.com>
Subject: Re: A small hack to document programs externally
Date: Fri, 6 Dec 2013 22:46:53 +0100
Message-ID: <20131206214653.GE26227@kuru.dyndns-at-home.com>
References: <m2bo0u3q02.fsf@polytechnique.org>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:54500)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <fatkasuvayu+linux@gmail.com>) id 1Vp3GP-0007xM-CJ
	for emacs-orgmode@gnu.org; Fri, 06 Dec 2013 16:49:14 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <fatkasuvayu+linux@gmail.com>) id 1Vp3Eg-0000bU-9M
	for emacs-orgmode@gnu.org; Fri, 06 Dec 2013 16:48:45 -0500
Received: from mail-wg0-x22d.google.com ([2a00:1450:400c:c00::22d]:51830)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <fatkasuvayu+linux@gmail.com>) id 1Vp3Eg-0000b2-30
	for emacs-orgmode@gnu.org; Fri, 06 Dec 2013 16:46:58 -0500
Received: by mail-wg0-f45.google.com with SMTP id y10so1227992wgg.0
	for <emacs-orgmode@gnu.org>; Fri, 06 Dec 2013 13:46:57 -0800 (PST)
Received: from kuru.dyndns-at-home.com (sd44012d5.adsl.online.nl.
	[212.64.18.213])
	by mx.google.com with ESMTPSA id fu1sm9916360wib.8.2013.12.06.13.46.55
	for <emacs-orgmode@gnu.org>
	(version=TLSv1.2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128);
	Fri, 06 Dec 2013 13:46:55 -0800 (PST)
Content-Disposition: inline
In-Reply-To: <m2bo0u3q02.fsf@polytechnique.org>
List-Id: "General discussions about Org-mode." <emacs-orgmode.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/emacs-orgmode>
List-Post: <mailto:emacs-orgmode@gnu.org>
List-Help: <mailto:emacs-orgmode-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/emacs-orgmode>,
	<mailto:emacs-orgmode-request@gnu.org?subject=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: emacs-orgmode@gnu.org

On Fri, Dec 06, 2013 at 05:26:05PM +0100, Alan Schmitt wrote:
> Hello,
> 
> 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.)

This sounds interesting.  I have been wanting to do this for a while.
I'll have a look at your solution when I find some time, maybe this
weekend.

-- 
Suvayu

Open source is the future. It sets us free.