The following commit has been merged in the master branch:
commit 86c9aeadc0bca6d7fe3996e4ff8c4ab7f1754c8c
Author: Mehdi Dogguy <me...@debian.org>
Date:   Sat Apr 6 13:49:03 2013 +0200

    Disable build of manpages

diff --git a/debian/rules b/debian/rules
index d2b541f..8511d45 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,7 +20,9 @@ override_dh_auto_configure:
 .PHONY: override_dh_auto_build
 override_dh_auto_build:
        ocamlbuild $(OCAML_BEST).otarget
-       $(MAKE) -C doc OPAM=../opamMain.$(BINEXT) man
+# We need "pandoc" on all architectures to be able to build manpages
+# As of now, "pandoc" is missing on mips, mipsel and s390.
+#      $(MAKE) -C doc OPAM=../opamMain.$(BINEXT) man
        $(RM) -f doc/dev-manual/dev-manual.pdf
        $(MAKE) -C doc/dev-manual
 

-- 
opam 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