[Pkg-ocaml-maint-commits] [SCM] opam packaging branch, master, updated. upstream/0.9.0-5-g729d519

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 729d519a45bad6ba0a18eee62dff2146f7737a70
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Jan 13 00:04:40 2013 +0100

    Build manual and install docs

diff --git a/debian/control b/debian/control
index 4890866..e81e395 100644
--- a/debian/control
+++ b/debian/control
@@ -14,7 +14,10 @@ Build-Depends:
  libre-ocaml-dev,
  libcmdliner-ocaml-dev,
  libextlib-ocaml-dev,
- libocamlgraph-ocaml-dev (>= 1.8)
+ libocamlgraph-ocaml-dev (>= 1.8),
+ texlive-latex-base,
+ texlive-lang-french,
+ latex-make
 Standards-Version: 3.9.3
 Homepage: http://opam.ocamlpro.com
 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/opam.git
diff --git a/debian/opam.docs b/debian/opam.docs
new file mode 100644
index 0000000..c2b57bd
--- /dev/null
+++ b/debian/opam.docs
@@ -0,0 +1,3 @@
+README.md
+CHANGES
+doc/dev-manual/dev-manual.pdf
diff --git a/debian/rules b/debian/rules
index 225ccfd..49cb9b5 100755
--- a/debian/rules
+++ b/debian/rules
@@ -20,6 +20,8 @@ override_dh_auto_configure:
 override_dh_auto_build:
 	ocamlbuild $(OCAML_BEST).otarget
 	$(MAKE) -C doc OPAM=../opamMain.native man
+	$(RM) -f doc/dev-manual/dev-manual.pdf
+	$(MAKE) -C doc/dev-manual
 
 .PHONY: override_dh_auto_test
 override_dh_auto_test:
@@ -42,6 +44,6 @@ override_dh_auto_clean:
 	for file in `ls -1 debian/buildsys/`; do \
 		$(RM) -f $$file || true; \
 	done
-	[ ! -e Makefile.config ] || $(MAKE) clean
+	$(MAKE) clean || true
 	$(RM) -rf _build
 	$(RM) -f src/core/opamVersion.ml Makefile.config config.log config.status *.$(BINEXT)

-- 
opam packaging