[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. 7af931dfaf054a3e23d8d1696029ad40e61c2e61

[Stephane Glondu]

The following commit has been merged in the master branch:
commit e6142bdd1f810db660921b0d83e3201999dc65ff
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Mar 19 07:19:31 2012 +0100

    Fix escaping of minus signs in eliomc.1

diff --git a/debian/patches/0001-Fix-escaping-of-minus-signs-in-eliomc.1.patch b/debian/patches/0001-Fix-escaping-of-minus-signs-in-eliomc.1.patch
new file mode 100644
index 0000000..7f5ac14
--- /dev/null
+++ b/debian/patches/0001-Fix-escaping-of-minus-signs-in-eliomc.1.patch
@@ -0,0 +1,51 @@
+From: Stephane Glondu <steph at glondu.net>
+Date: Mon, 19 Mar 2012 07:19:16 +0100
+Subject: Fix escaping of minus signs in eliomc.1
+
+---
+ src/files/eliomc.1 |   20 ++++++++++----------
+ 1 files changed, 10 insertions(+), 10 deletions(-)
+
+diff --git a/src/files/eliomc.1 b/src/files/eliomc.1
+index a7cb78a..7d17395 100644
+--- a/src/files/eliomc.1
++++ b/src/files/eliomc.1
+@@ -116,27 +116,27 @@ Display a short usage summary and exit.
+ .SH EXAMPLES
+ The compilation of an Eliom projects composed of a server specific file named server.ml, a client specific file named client.ml and two common files name base.eliom and main.eliom, could be achieved with the following commands:
+ 
+-\ \ \ \ eliomc -a -o appl.cma server.ml base.eliom main.eliom
++\ \ \ \ eliomc \-a \-o appl.cma server.ml base.eliom main.eliom
+ .br
+-\ \ \ \ js_of_eliom -o appl.js client.ml base.eliom main.eliom
++\ \ \ \ js_of_eliom \-o appl.js client.ml base.eliom main.eliom
+ 
+ To avoid recompiling the whole project each times, this could be split in multiple steps:
+ 
+-\ \ \ \ eliomc -c server.ml
++\ \ \ \ eliomc \-c server.ml
+ .br
+-\ \ \ \ eliomc -c base.eliom
++\ \ \ \ eliomc \-c base.eliom
+ .br
+-\ \ \ \ eliomc -c main.eliom
++\ \ \ \ eliomc \-c main.eliom
+ .br
+-\ \ \ \ eliomc -a -o appl.cma _server/server.cmo _server/base.cmo _server/main.cmo
++\ \ \ \ eliomc \-a \-o appl.cma _server/server.cmo _server/base.cmo _server/main.cmo
+ .br
+-\ \ \ \ js_of_eliom -c client.ml
++\ \ \ \ js_of_eliom \-c client.ml
+ .br
+-\ \ \ \ js_of_eliom -c base.eliom
++\ \ \ \ js_of_eliom \-c base.eliom
+ .br
+-\ \ \ \ js_of_eliom -c main.eliom
++\ \ \ \ js_of_eliom \-c main.eliom
+ .br
+-\ \ \ \ js_of_eliom -o appl.js _client/client.cmo _client/base.cmo _client/main.cmo
++\ \ \ \ js_of_eliom \-o appl.js _client/client.cmo _client/base.cmo _client/main.cmo
+ 
+ 
+ 
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..8f6e208
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Fix-escaping-of-minus-signs-in-eliomc.1.patch

-- 
eliom packaging