The following commit has been merged in the master branch:
commit fdc0fa2e86bd5bf6c07ed7306b29f83f1db36a07
Author: Pierre Chambart <chamb...@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 <chamb...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to