The following commit has been merged in the master branch:
commit 3fe7ad100c5dfae3db859e3480d90af532854835
Author: Mehdi Dogguy <>
Date:   Sat Apr 6 14:44:28 2013 +0200

    Misc changes (doc-base, -X.pdf)

diff --git a/debian/opam.doc-base b/debian/opam.doc-base
new file mode 100644
index 0000000..39daea4
--- /dev/null
+++ b/debian/opam.doc-base
@@ -0,0 +1,8 @@
+Document: opam-dev-man
+Title: OPAM, developer manual
+Author: Thomas Gazanaire
+Abstract: Developer Manual of OPAM
+Section: Programming/OCaml
+Format: PDF
+Files: /usr/share/doc/opam/dev-manual.pdf
diff --git a/debian/rules b/debian/rules
index 8511d45..d2aadd6 100755
--- a/debian/rules
+++ b/debian/rules
@@ -49,3 +49,7 @@ override_dh_auto_clean:
        $(MAKE) clean || true
        $(RM) -rf _build
        $(RM) -f src/core/ Makefile.config config.log 
config.status *.$(BINEXT)
+.PHONY: override_dh_compress
+       dh_compress -X.pdf
diff --git a/doc/dev-manual/dev-manual.pdf b/doc/dev-manual/dev-manual.pdf
deleted file mode 100644
index d294e1f..0000000
Binary files a/doc/dev-manual/dev-manual.pdf and /dev/null differ

opam packaging

Pkg-ocaml-maint-commits mailing list

Reply via email to