[SCM] gmerlin/master: Remove {, lib}gmerlin-doc packages, the docs are no longer provided.

[alessio at users.alioth.debian.org]

The following commit has been merged in the master branch:
commit 978c3ef9c8c663ee0a0a135880bb0d50cce9a06a
Author: Alessio Treglia <alessio at debian.org>
Date:   Thu Dec 13 10:14:03 2012 +0000

    Remove {,lib}gmerlin-doc packages, the docs are no longer provided.

diff --git a/debian/control.in b/debian/control.in
index 5e869f4..1a81e2b 100644
--- a/debian/control.in
+++ b/debian/control.in
@@ -87,20 +87,6 @@ Description: gmerlin plugins from the "base" set
  .
  This package provides the gmerlin plugins from the "base" set.
 
-Package: gmerlin-doc
-Architecture: all
-Section: doc
-Depends:
- ${misc:Depends}
-Description: multiformat media player - documentation files
- Gmerlin is a multiformat media player with tree-like virtual directory
- structure, where you can save your files, webstreams or whatever. It
- handles even large media collections gracefully. Hardware devices appear
- also in the tree so you can open Audio-CDs, (S)VCDs, DVDs and
- DVB-broadcasts.
- .
- This package contains documentation for gmerlin.
-
 Package: gmerlin-data
 Architecture: all
 Multi-Arch: foreign
@@ -201,17 +187,3 @@ Description: core library for gmerlin - development files
  .
  This package contains the files needed to compile and statically link
  against libgmerlin.
-
-Package: libgmerlin-doc
-Architecture: all
-Section: doc
-Depends:
- ${misc:Depends}
-Description: core library for gmerlin - documentation files
- Gmerlin is a multiformat media player with tree-like virtual directory
- structure, where you can save your files, webstreams or whatever. It
- handles even large media collections gracefully. Hardware devices appear
- also in the tree so you can open Audio-CDs, (S)VCDs, DVDs and
- DVB-broadcasts.
- .
- This package contains the documentation about libgmerlin.
diff --git a/debian/gmerlin-doc.doc-base b/debian/gmerlin-doc.doc-base
deleted file mode 100644
index d50d108..0000000
--- a/debian/gmerlin-doc.doc-base
+++ /dev/null
@@ -1,9 +0,0 @@
-Document: gmerlin
-Title: Gmerlin userguide
-Author: Members of the Gmerlin project.
-Abstract: This manual is for Gmerlin (version 0.3.8, 9 January 2008).
-Section: Video
-
-Format: HTML
-Index: /usr/share/doc/gmerlin-doc/userguide/index.html
-Files: /usr/share/doc/gmerlin-doc/userguide/*.html
diff --git a/debian/gmerlin-doc.install b/debian/gmerlin-doc.install
deleted file mode 100644
index 772c3b9..0000000
--- a/debian/gmerlin-doc.install
+++ /dev/null
@@ -1,2 +0,0 @@
-debian/tmp/usr/share/doc/libgmerlin-doc/img       usr/share/doc/gmerlin-doc
-debian/tmp/usr/share/doc/libgmerlin-doc/userguide usr/share/doc/gmerlin-doc
diff --git a/debian/libgmerlin-doc.doc-base b/debian/libgmerlin-doc.doc-base
deleted file mode 100644
index 4b0a7a4..0000000
--- a/debian/libgmerlin-doc.doc-base
+++ /dev/null
@@ -1,12 +0,0 @@
-Document: libgmerlin
-Title: libgmerlin documentation
-Author: Burkhard Plaum <plaum at ipf.uni-stuttgart.de>
-Abstract: Gmerlin is a multimedia framework, which allows you to quickly
- develop multimedia applications. It is built upon gavl (for low level
- Audio/Video things) and libxml2 (for loading and saving configuration data
- and other things).
-Section: Programming
-
-Format: HTML
-Index: /usr/share/doc/libgmerlin-doc/apiref/index.html
-Files: /usr/share/doc/libgmerlin-doc/apiref/*.html
diff --git a/debian/libgmerlin-doc.install b/debian/libgmerlin-doc.install
deleted file mode 100644
index b47fe38..0000000
--- a/debian/libgmerlin-doc.install
+++ /dev/null
@@ -1 +0,0 @@
-debian/tmp/usr/share/doc/libgmerlin-doc/apiref

-- 
gmerlin packaging