[Pkg-ocaml-maint-commits] [mathcomp] 10/13: Move documentation to a separate (new) package

[Nicolas Braud-Santoni]

This is an automated email from the git hooks/post-receive script.

nicoo-guest pushed a commit to branch v1.6/master
in repository mathcomp.

commit c351610527cf8374b1a0e2489d45c9489dee8e51
Author: Nicolas Braud-Santoni <nicolas at braud-santoni.eu>
Date:   Fri Jul 22 16:25:29 2016 -0400

    Move documentation to a separate (new) package
---
 debian/control                                            | 15 +++++++++++++++
 debian/libmathcomp-coq.install                            |  1 -
 debian/libssreflect-coq.doc-base                          |  9 ---------
 .../{libmathcomp-coq.doc-base => mathcomp-doc.doc-base}   |  0
 debian/mathcomp-doc.install                               |  1 +
 5 files changed, 16 insertions(+), 10 deletions(-)

diff --git a/debian/control b/debian/control
index 52f9e55..47aaebb 100644
--- a/debian/control
+++ b/debian/control
@@ -24,11 +24,25 @@ Depends:
  libssreflect-coq (>= 1.6),
  coq-${F:CoqABI},
  ${misc:Depends}
+Recommends: mathcomp-doc
 Description: Mathematical Components library for Coq (theories)
  The Mathematical Components library is an extensive library of
  formalized mathematics built using the Ssreflect extension for
  the Coq system.
 
+Package: mathcomp-doc
+Section: doc
+Architecture: all
+Breaks:   libmathcomp-coq (<< 1.6)
+Replaces: libmathcomp-coq (<< 1.6)
+Description: Mathematical Components library for Coq (documentation)
+ The Mathematical Components library is an extensive library of
+ formalized mathematics built using the Ssreflect extension for
+ the Coq system.
+ .
+ This package contains the documentation for mathcomp and
+ ssreflect.
+
 Package: libssreflect-ocaml
 Section: ocaml
 Architecture: any
@@ -67,6 +81,7 @@ Depends:
  coq-${F:CoqABI},
  ${misc:Depends}
 Provides: ssreflect
+Suggests: mathcomp-doc
 Description: small scale reflection library for Coq (theories)
  The name Ssreflect stands for "small scale reflection", a style of
  proof that evolved from the computer-checked proof of the Four Colour
diff --git a/debian/libmathcomp-coq.install b/debian/libmathcomp-coq.install
index 64757be..ec75346 100644
--- a/debian/libmathcomp-coq.install
+++ b/debian/libmathcomp-coq.install
@@ -3,4 +3,3 @@
                   usr/lib/coq/user-contrib/mathcomp/field/*.vo
                   usr/lib/coq/user-contrib/mathcomp/fingroup/*.vo
                   usr/lib/coq/user-contrib/mathcomp/solvable/*.vo
-htmldoc           usr/share/doc/libmathcomp-coq
diff --git a/debian/libssreflect-coq.doc-base b/debian/libssreflect-coq.doc-base
deleted file mode 100644
index 6c49640..0000000
--- a/debian/libssreflect-coq.doc-base
+++ /dev/null
@@ -1,9 +0,0 @@
-Document: ssreflect-library
-Title: The Ssreflect Library
-Author: The Ssreflect Development Team
-Abstract: This is the coqdoc-generated documentation for Ssreflect
-Section: Science/Mathematics
-
-Format: HTML
-Index: /usr/share/doc/libssreflect-coq/html/index.html
-Files: /usr/share/doc/libssreflect-coq/html/*.html
diff --git a/debian/libmathcomp-coq.doc-base b/debian/mathcomp-doc.doc-base
similarity index 100%
rename from debian/libmathcomp-coq.doc-base
rename to debian/mathcomp-doc.doc-base
diff --git a/debian/mathcomp-doc.install b/debian/mathcomp-doc.install
new file mode 100644
index 0000000..4267236
--- /dev/null
+++ b/debian/mathcomp-doc.install
@@ -0,0 +1 @@
+htmldoc           usr/share/doc/libmathcomp-coq

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mathcomp.git