[Pkg-ocaml-maint-commits] [SCM] opam packaging branch, master, updated. upstream/0.9.0+deb1-17-g2f49b0c
Mehdi Dogguy
mehdi at debian.org
Sat Apr 6 13:38:53 UTC 2013
The following commit has been merged in the master branch:
commit 3fe7ad100c5dfae3db859e3480d90af532854835
Author: Mehdi Dogguy <mehdi at debian.org>
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/opamVersion.ml Makefile.config config.log config.status *.$(BINEXT)
+
+.PHONY: override_dh_compress
+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
More information about the Pkg-ocaml-maint-commits
mailing list