From mboxrd@z Thu Jan  1 00:00:00 1970
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Subject: Re: colorize html output when batch exporting
Date: Wed, 15 Jan 2014 16:24:57 +0100
Message-ID: <m2k3e1w9me.fsf@polytechnique.org>
References: <m2txd6pth5.fsf@polytechnique.org>
	<456aae79ec3109523d0d19759b73b0eb@mail.rickster.com>
	<m2d2jtn01n.fsf@polytechnique.org>
	<fb287c579621e76d1347beb477c5c5be@mail.rickster.com>
Mime-Version: 1.0
Content-Type: text/plain
Return-path: <emacs-orgmode-bounces+geo-emacs-orgmode=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:57043)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1W3SPQ-0003XL-Rk
	for emacs-orgmode@gnu.org; Wed, 15 Jan 2014 10:29:42 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1W3SPK-0007pU-Ni
	for emacs-orgmode@gnu.org; Wed, 15 Jan 2014 10:29:36 -0500
Received: from mail3-relais-sop.national.inria.fr ([192.134.164.104]:24720)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <alan.schmitt@polytechnique.org>) id 1W3SPK-0007p9-Hc
	for emacs-orgmode@gnu.org; Wed, 15 Jan 2014 10:29:30 -0500
In-Reply-To: <fb287c579621e76d1347beb477c5c5be@mail.rickster.com> (Rick
	Frankel's message of "Wed, 15 Jan 2014 09:39:53 -0500")
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: Rick Frankel <rick@rickster.com>
Cc: emacs-orgmode <emacs-orgmode@gnu.org>

Hi Rick,

Rick Frankel <rick@rickster.com> writes:

> Yes, it should. Something is not right with your output. I'm not
> familiar with coq, and i don't have coq-mode.el, but from the above it
> looks like a BNF grammar. Are you sure coq-mode was loaded when you
> did the export?

This was the problem! I added the code to load the mode, and all is well
now.

Thanks a lot for your help,

Alan