[Pkg-ocaml-maint-commits] [SCM] eliom packaging branch, master, updated. debian/2.1.0-1-14-gfdc0fa2

[Pierre Chambart]

The following commit has been merged in the master branch:
commit fdc0fa2e86bd5bf6c07ed7306b29f83f1db36a07
Author: Pierre Chambart <chambart at crans.org>
Date:   Fri Mar 30 15:22:22 2012 +0200

    Fix manpages installation when installing only bytecode

diff --git a/debian/patches/0001-Fix-manpages-installation-when-installing-only-bytec.patch b/debian/patches/0001-Fix-manpages-installation-when-installing-only-bytec.patch
new file mode 100644
index 0000000..a9045f4
--- /dev/null
+++ b/debian/patches/0001-Fix-manpages-installation-when-installing-only-bytec.patch
@@ -0,0 +1,29 @@
+From: Pierre Chambart <chambart at crans.org>
+Date: Fri, 30 Mar 2012 15:20:56 +0200
+Subject: Fix manpages installation when installing only bytecode
+
+---
+ src/Makefile |    4 ++--
+ 1 files changed, 2 insertions(+), 2 deletions(-)
+
+diff --git a/src/Makefile b/src/Makefile
+index b1eafdf..48e7e4c 100644
+--- a/src/Makefile
++++ b/src/Makefile
+@@ -74,13 +74,13 @@ install.META:
+ 	   -patch-version ${VERSION} \
+ 	   files/META
+ 
+-install.byte: install.META
++install.byte: install.META install.man
+ 	${MAKE} -C server install.byte
+ 	${MAKE} -C client install
+ 	${MAKE} -C syntax install
+ 	${MAKE} -C tools install
+ 
+-install.opt: install.META
++install.opt: install.META install.man
+ 	${MAKE} -C server install.opt
+ 	${MAKE} -C client install
+ 	${MAKE} -C syntax install
+-- 
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..1ad536c
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1 @@
+0001-Fix-manpages-installation-when-installing-only-bytec.patch

-- 
eliom packaging