From mboxrd@z Thu Jan 1 00:00:00 1970 From: Alan Schmitt Subject: Re: A small hack to document programs externally Date: Sat, 04 Jan 2014 17:36:37 +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]:48799) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VzUDM-0004NC-P7 for emacs-orgmode@gnu.org; Sat, 04 Jan 2014 11:36:49 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VzUDH-0003az-Or for emacs-orgmode@gnu.org; Sat, 04 Jan 2014 11:36:44 -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'm not promising anything, but I've added such a task on my (long) org-related hacking todo list. Best, Alan