Org-mode mailing list
 help / color / mirror / Atom feed
From: Basile Pesin <>
Subject: [Patch] [Objective]Caml dialect in listings
Date: Thu, 14 Jan 2021 14:24:02 +0100
Message-ID: <> (raw)

[-- Attachment #1: Type: text/plain, Size: 538 bytes --]


I have just started using `org-mode`, and it is very cool ! Thank you 
for your collective work.

There is a small patch I would like to submit : when writing listings 
for the OCaml programming language, one should use the "[Objective]Caml" 
dialect, which is different from the "Caml" dialect. This is not 
reflected in the latex exported code.

The attached patch changes this. Thank you in advance for your patience, 
this is my first patch so I hope I did everything correctly.

Cheers !

Basile Pesin
Inria Paris - PARKAS

[-- Attachment #2: 0001-ox-latex.el-Use-Objective-Caml-dialect.patch --]
[-- Type: text/x-patch, Size: 1016 bytes --]

From 7343ff30927876966d3eabd3c1ee9c2afa018d2e Mon Sep 17 00:00:00 2001
From: Basile Pesin <>
Date: Thu, 14 Jan 2021 13:16:54 +0100
Subject: [PATCH] ox-latex.el : Use [Objective]Caml dialect

* ox-latex.el (org-latex-listings-langs): Change the binding for
  `ocaml' to "[Objective]Caml"

The "[Objective]Caml" dialect syntax highlighting is different from the
"Caml" one (reflecting the added features of OCaml compared to
 lisp/ox-latex.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lisp/ox-latex.el b/lisp/ox-latex.el
index 2a14b25d5..3b1fb71f2 100644
--- a/lisp/ox-latex.el
+++ b/lisp/ox-latex.el
@@ -956,7 +956,7 @@ URL `'."
     (tex "TeX") (latex "[LaTeX]TeX")
     (shell-script "bash")
     (gnuplot "Gnuplot")
-    (ocaml "Caml") (caml "Caml")
+    (ocaml "[Objective]Caml") (caml "Caml")
     (sql "SQL") (sqlite "sql")
     (makefile "make")
     (R "r"))

                 reply	other threads:[~2021-01-14 13:31 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:

  List information:

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \ \ \ \

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

Org-mode mailing list

This inbox may be cloned and mirrored by anyone:

	git clone --mirror list/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 list list/ \
	public-inbox-index list

Example config snippet for mirrors.
Newsgroups are available over NNTP:

AGPL code for this site: git clone